[ main page ] [ back ]

25/2005 : Proof-Based System Engineering Using a Virtual System Model

RR Number
25/2005
Conference
Proceedings 2nd International Service Availability Forum (ISAS'05), Berlin, Germany, April 2005 (appeared as Springer LNCS 3694)
Author(s)
Martin Biely, G�rard Le Lann, Ulrich Schmid
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 critical applications and other systems where dependability properties are essential, as 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 upon the requirement capture phase of PBSE, where a virtual system model is used as a novel means to structure the information to be captured.
Bibtex
@InProceedings{BLS05:ISAS,
  author =       {Martin Biely and G{\'e}rard Le Lann and Ulrich Schmid},
  title =        {Proof-Based Systems Engineering Using a Virtual System Model},
  booktitle =    {Proceedings 2nd International Service Availability Symposium (ISAS'05)},
  series =       lncs,
  number =       3694,
  year =         {2005},
  month =        apr,
  address =      {Berlin, Germany},
  pages = {164-179},
  isbn = {3-540-29103-2},
  publisher = {Springer},
  doi = {10.1007/11560333_14},
}

Download

[ main page ] [ back ]