Sciweavers

Share
ISAS
2005
Springer

Proof-Based System Engineering Using a Virtual System Model

10 years 4 months ago
Proof-Based System Engineering Using a Virtual System Model
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of particular relevance for safety critical applications and other systems where dependability properties are essential. This is particularly the case for applications in the aerospace domain targeted in the EC FP6 Integrated Project ASSERT. Applying PBSE both permits to eliminate most common design faults before embarking on the development of a system and maximizes reuse, which leads to significant savings in time and budgets. Particular emphasis is put on the requirements capture phase of PBSE, where a virtual system model is used as a novel means to structure the information to be captured.
Martin Biely, Gérard Le Lann, Ulrich Schmid
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ISAS
Authors Martin Biely, Gérard Le Lann, Ulrich Schmid
Comments (0)
books