Correctness by Construction: Integrating Formality into a Commercial Development Process
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Integrating creativity workshops into structured requirements processes
DIS '04 Proceedings of the 5th conference on Designing interactive systems: processes, practices, methods, and techniques
Problem-based analysis of organisational change: a real-world example
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Requirements development as a modeling activity
ACM SIGSOFT Software Engineering Notes
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
Conceptual Modeling for System Requirements Enhancement
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Experience and challenges with UML-driven performance engineering of a Distributed Real-Time System
Information and Software Technology
Delivering requirements research into practice: a keynote to the REFSQ'2011 conference
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
Applying modular method engineering to validate and extend the RESCUE requirements process
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Computational alignment of goals and scenarios for complex systems
Proceedings of the 2013 International Conference on Software Engineering
Compositional verification of a medical device system
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
| Hi-index | 0.00 |
Abstract: This paper describes experiences using Requirements Engineering (RE) to reduce the risk of large heterogeneous distributed systems not working in their intended environments. Industry is creating ever-larger systems by integrating increasingly complex smaller systems. As a result, systems integration is becoming a major, or even dominant, risk in the production of systems such as an aircraft, railway or telecommunications infrastructure. In this paper, we describe some practical techniques we use for the RE of such integrated systems. They aim to provide assurance, before development, that the final integrated system will achieve its overall requirements. We illustrate the techniques with case studies drawn from their industrial application.