SoftContract: an assertion-based software development process that enables design-by-contract

This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to linear temporal logic which allows one to reason about time and sequencing. They consist of assertions which must hold for a desig...

Full description

Saved in:
Bibliographic Details
Published inProceedings Design, Automation and Test in Europe Conference and Exhibition Vol. 1; pp. 358 - 363 Vol.1
Main Authors Brunel, J.-Y., Di Natale, M., Ferrari, A., Giusto, P., Lavagno, L.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2004
Subjects
Automotive engineering
Embedded software
Embedded system
Logic testing
Manufacturing
Process design
Programming
Software design
Software prototyping
Virtual prototyping
Online AccessGet full text

Cover

More Information
Summary:This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to linear temporal logic which allows one to reason about time and sequencing. They consist of assertions which must hold for a design, given some assumptions on its environment. They can be checked both during simulation and, at least for a subset, even on the target. The key contribution of the paper is the extension to the embedded software domain of assertion-based verification, and the automated generation of property-checking code in multiple target languages, from simulation, to prototyping, to final production.
ISBN:0769520855
9780769520858
ISSN:1530-1591
1558-1101
DOI:10.1109/DATE.2004.1268873