The paper "Weaving an Assurance Case from Design: A Model-Based Approach", authored by team members Richard Hawkins and Tim Kelly with colleagues from the University of York, has been accepted at the IEEE International Symposium on High Assurance Systems Engineering. The paper presents a novel model-based approach, developed on the D-MILS project, for the seamless creation of assurance cases from system models.

Views: 400

Reply to This

D-MILS Partners

 

 

 

 

 

 

 

 

© 2024   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service