| Název: | An approach to dependable embedded software development: technical report no. DCSE/TR-2008-04 |
| Autoři: | Paška, Marek |
| Datum vydání: | 2008 |
| Nakladatel: | University of West Bohemia in Pilsen |
| Typ dokumentu: | zpráva report |
| URI: | http://www.kiv.zcu.cz/publications/ http://hdl.handle.net/11025/21583 |
| Klíčová slova: | vestavěný systém;spolehlivost;testování;simulace |
| Klíčová slova v dalším jazyce: | embedded system;reliability;testing;simulation |
| Abstrakt v dalším jazyce: | 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. |
| Práva: | © University of West Bohemia in Pilsen |
| Vyskytuje se v kolekcích: | Zprávy / Reports (KIV) |
Soubory připojené k záznamu:
| Soubor | Popis | Velikost | Formát | |
|---|---|---|---|---|
| Paska.pdf | Plný text | 394,4 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/21583Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.