Loading...
Please wait, while we are loading the content...
Similar Documents
An Approach to Dependable Embedded Software Development
| Content Provider | Semantic Scholar |
|---|---|
| Author | Paska, Marek |
| Copyright Year | 2012 |
| Abstract | 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 techniques 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.kiv.zcu.cz/site/documents/verejne/vyzkum/publikace/technicke-zpravy/2008/tr-2008-04.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |