You are here: Home :: Area NEM :: Engineering :: Automation

Reinhard Budde, Axel Poigné, Karl-Heinz Sylla

On the Construction of Dependable Embedded Software by Synchronous Programming

Simple examples are used to demonstrate how functional and non-functional properties of synchronous programs can be validated. For deeper insight we at first present a compiling techniques for synchronous languages on which the close interaction of program and validation is based. The focus of this article is on pragmatic techniques for improving dependability that are accessible for the non-specialist.

at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag

Print ISSN: 0178-2312
Volume: 51, 08/2003
Pages: 368

Journal homepage (external site)

Show all available items of this journal

 

Area NEM