Séminaire Dominique Blouin : Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design
Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design
Good requirements engineering practices are essential for developing correct safety-critical systems. In this presentation, I report our experience in combining existing rich modeling languages such as AADL (Architecture Analysis and Design Language), URN (User Requirements Notation) and RDAL (Requirements Definition and Analysis Language) to support a requirements engineering and design process as promoted by the Federal Aviation Administration (FAA) Requirements Engineering Management Handbook (REMH). Each of the combined language is well suited for the capture of specific concerns of the REMH practices allowing reusing the capability from the individual languages but also from their combined use. Our approach has been applied to the specification and analysis of a medical device example from the REMH and shows several benefits due to the early discovery of errors resulting from each modeling language and from their combination. This experience also identifies important needs for automated model management not covered by current state-ofthe-art modeling techniques.
Research Interests :