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

Show simple item record
dc.contributor.authorPaška, Marek
dc.date.accessioned2016-06-23T07:25:20Z
dc.date.available2016-06-23T07:25:20Z
dc.date.issued2008
dc.description.abstract-translatedDeveloping 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.format43 s.cs
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://www.kiv.zcu.cz/publications/
dc.identifier.urihttp://hdl.handle.net/11025/21583
dc.language.isoenen
dc.publisherUniversity of West Bohemia in Pilsenen
dc.rights© University of West Bohemia in Pilsenen
dc.rights.accessopenAccessen
dc.subjectvestavěný systémcs
dc.subjectspolehlivostcs
dc.subjecttestovánícs
dc.subjectsimulacecs
dc.subject.translatedembedded systemen
dc.subject.translatedreliabilityen
dc.subject.translatedtestingen
dc.subject.translatedsimulationen
dc.titleAn approach to dependable embedded software development: technical report no. DCSE/TR-2008-04en
dc.typezprávacs
dc.typereporten
dc.type.versionpublishedVersionen

Files

Original bundle
Showing 1 - 1 out of 1 results
No Thumbnail Available
Name:
Paska.pdf
Size:
394.4 KB
Format:
Adobe Portable Document Format
Description:
Plný text
Download
License bundle
Showing 1 - 1 out of 1 results
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Reports (KIV)