Computer Sciences department - P4S
P4S : Processes for Safe and Secure Systems and Software
Team leader : Fabien DAGNAT
The P4S research team belongs to the SHARP pole of the Lab-STICC laboratory (UMR 6285)
Our interest is in methods and tools to specify and describe systems and software. The end goal is increased confidence and the assurance of safety and security, through evaluation and analysis.
We use:
- System modeling, because the product needs to be described
- Process modeling and improvement, because the development process is a key to safety, security and overall confidence
We rely on:
- Model federation, because many points of view need to be merged.
- Free modeling, because points of views are specific and no one framework (meta-model) can capture all points of view.
- Software Verification at all stages and all levels: intra-model, inter-model.
- Mixing automatic and semi-automatic techniques