|Title:||An approach to dependable embedded software development: technical report no. DCSE/TR-2008-04|
|Publisher:||University of West Bohemia in Pilsen|
|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)|
Please use this identifier to cite or link to this item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.