Gerald Sonneck

Learn More
The integrated EU-project DECOS (Dependable Embedded Components and Systems) aims at developing an integrated architecture for embedded systems to reduce life-cycle costs and to increase dependability of embedded applications. To facilitate the certification process of DECOS-based applications a modular approach has been implemented which is based on the(More)
This paper describes a formal methods case study in which one module of an existing security system was redeveloped using the \light-weight" Vienna Development Method supported by the IFAD Toolbox. The result is compared with the existing version in terms of eeort and quality. In this project, formal methods { even in its \light-weight" form { have(More)
  • 1