Title: An approach to dependable embedded software development: technical report no. DCSE/TR-2008-04
Authors: Paška, Marek
Issue Date: 2008
Publisher: University of West Bohemia in Pilsen
Document type: zpráva
URI: http://www.kiv.zcu.cz/publications/
Keywords: vestavěný systém;spolehlivost;testování;simulace
Keywords in different language: embedded system;reliability;testing;simulation
Abstract in different language: Developing a dependable software is a challenging problem. Dependability requirements are emphasized in the world of embedded systems that may be safety critical. This report summarizes state of the art of technique s suitable for dependable embedded software development: static type analysis, testing, simulation, formal methods. Software engineering techniques such as aspect oriented programming and generative programming are also discussed. Finally we propose a technique based on high level dynamic languages and code generation.
Rights: © University of West Bohemia in Pilsen
Appears in Collections:Zprávy / Reports (KIV)

Files in This Item:
File Description SizeFormat 
Paska.pdfPlný text394,4 kBAdobe PDFView/Open

Please use this identifier to cite or link to this item: http://hdl.handle.net/11025/21583

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.