Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Mathematical foundations of software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
On the inevitable intertwining of specification and implementation
Communications of the ACM
Distributed Algorithms
Annals of Software Engineering
Computer
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems
IEEE Transactions on Computers
Proof-Based System Engineering and Embedded Systems
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
An analysis of the Ariane 5 flight 501 failure - a system engineering perspective
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Novel generic middleware building blocks for dependable modular avionics systems
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
| Hi-index | 0.00 |
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.