MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Functional documents for computer systems
Science of Computer Programming
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Generalised Substitution Language and Differentials
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Architecture-driven Problem Decomposition
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
High-integrity extreme programming
Proceedings of the 2005 ACM symposium on Applied computing
Patterns to guide practical refactoring: examples targetting promotion in Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Proving properties of stateflow models using ISO standard z and CADiZ
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Hi-index | 0.00 |
We present three perspectives of the use of formalism in the construction of High-Integrity Embedded Real-time Systems. In the first, we describe the long-term research aims. The scope is the entire system, the goal is to demonstrate intentional correctness, and the emphasis is on scientific certainty. In the second, we present medium-term research aims. The scope is more on the software in the system, and the emphasis shifts to the notion of engineering confidence. Following on from the medium-term view we propose a set of challenges for formal engineering methods research, based on our perception of the technical issues surrounding the provision of viable engineering solutions. In the third perspective we discuss the short term. In particular, we describe how our recent research is attempting to meet some of the proposed challenges, as a first step towards our medium and long-term aspirations.