Software requirements & architecture
[INGI2355]
[30h + 15h] 5 credits
This course is taught in the 2d semester.
Teacher(s): Axel Van Lamsweerde
Language: English
Level: Second
Aims
- Understand and explain the problems and solutions specific to mission-critical systems, in particular, security-critical and safety-critical applications.
- Be exposed to research: study of relevant bibliography, synthesis and evaluation of ideas, personal contribution, participation to research group discussions.
Main themes
- Specification techniques --state-based techniques; temporal, deontic, epistemic logics.
- Analysis techniques --model validation by animation; algorithmic and deductive verification of model properties; risk analysis.
- Behavioral software models --construction, synthesis, analysis.
- Modeling and analysing security aspects.
- Architectural design --architectural description languages, pattern languages, self-healing systems.
- Tool support for model specification and analysis: LTSA, SCR toolset, SpecTRM, Alloy, VDMTools, RAISE tools, B, SPIN, NuSMV, PVS, SteP, etc.
Content and teaching methods
Other information (prerequisite, evaluation (assessment methods), course materials recommended readings, ...)
INGI2251 Software Engineering : Development Methods.
- References
A. van Lamsweerde, Requirements Engineering: from systems goals to UML models to software specificationns, Wiley, 2009
- Evaluation
Based on individual and group work during the quadrimester, and on a final report