Proc. of the European symposium on programming on ESOP 86
A calculus of refinements for program derivations
Acta Informatica
DSSA (Domain-Specific Software Architecture): pedagogical example
ACM SIGSOFT Software Engineering Notes
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Achieving requirements reuse: a domain-specific approach from avionics
Journal of Systems and Software
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Object-oriented application frameworks
Communications of the ACM
Creating reusable architectures: initial experience report
ACM SIGSOFT Software Engineering Notes
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Domain analysis: an introduction
ACM SIGSOFT Software Engineering Notes
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Managing Domain-Specific, Product-Line Development
IEEE Software
Commonality and Variability in Software Engineering
IEEE Software
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Analysis of a software product line architecture: an experience report
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Product-Line Requirements Specification (PRS): An Approach and Case Study
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Product derivation in software product families: a case study
Journal of Systems and Software - Special issue: The new context for software engineering education and training
Tool-Supported Verification of Product Line Requirements
Automated Software Engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
On the Design and Development of Program Families
IEEE Transactions on Software Engineering
UML-B and Event-B: an integration of languages and tools
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Composing Event-B specifications: case-study experience
SC'11 Proceedings of the 10th international conference on Software composition
Hi-index | 0.00 |
We consider the failure detection and management function for engine control systems as an application domain where product line engineering is indicated. The need to develop a generic requirement set - for subsequent system instantiation - is complicated by the addition of the high levels of verification demanded by this safety-critical domain, subject to avionics industry standards. We present our case study experience in this area as a candidate method for the engineering, validation and verification of generic requirements using domain engineering and Formal Methods techniques and tools. For a defined class of systems, the case study produces a generic requirement set in UML and an example system instance. Domain analysis and engineering produce a validated model which is integrated with the formal specification/verification method B by the use of our UML-B profile. The formal verification both of the generic requirement set, and of a simple system instance, is demonstrated using our U2B, ProB and prototype Requirements Manager tools. This work is a demonstrator for a tool-supported method which will be an output of EU project RODIN (This work is conducted in the setting of the EU funded Research Project: IST 511599 RODIN (Rigorous Open Development Environment for Complex Systems) http://rodin.cs.ncl.ac.uk/). The use of existing and prototype formal verification and support tools is discussed. The method, developed in application to this novel combination of product line, failure management and safety-critical engineering, is evaluated and considered to be applicable to a wide range of domains.