An approach to dependable embedded software development: technical report no. DCSE/TR-2008-04

Full metadata record

DC pole	Hodnota	Jazyk
dc.contributor.author	Paška, Marek
dc.date.accessioned	2016-06-23T07:25:20Z
dc.date.available	2016-06-23T07:25:20Z
dc.date.issued	2008
dc.identifier.uri	http://www.kiv.zcu.cz/publications/
dc.identifier.uri	http://hdl.handle.net/11025/21583
dc.format	43 s.	cs
dc.format.mimetype	application/pdf
dc.language.iso	en	en
dc.publisher	University of West Bohemia in Pilsen	en
dc.rights	© University of West Bohemia in Pilsen	en
dc.subject	vestavěný systém	cs
dc.subject	spolehlivost	cs
dc.subject	testování	cs
dc.subject	simulace	cs
dc.title	An approach to dependable embedded software development: technical report no. DCSE/TR-2008-04	en
dc.type	zpráva	cs
dc.type	report	en
dc.rights.access	openAccess	en
dc.type.version	publishedVersion	en
dc.description.abstract-translated	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.	en
dc.subject.translated	embedded system	en
dc.subject.translated	reliability	en
dc.subject.translated	testing	en
dc.subject.translated	simulation	en
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/21583

Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.

hledání

navigace