Laura Baracchi

  • Citations Per Year
Learn More
This paper reports results of the ESA MARVELS study (Model-based approach research for the verification enhancement across the lifecycle of a space system), with the objectives to define adequate model-based methods to improve the overall verification process of space systems, and to define, prototype and integrate supporting tools for System Verification(More)
This paper presents the CHESS open source methodology and toolset, aiming to improve MDE practices and technologies to better address safety, reliability, performance, robustness and other non-functional concerns, while guaranteeing correctness of component development and composition for critical embedded systems.
A model-based methodology is presented for providing effective and efficient property-preserving mechanisms for non-functional properties such as real-time, safety, security and performance for Internet of Things (IoT) system components. The presented methodology and related supporting tool chain provide a means to model, develop, analyze, verify, operate,(More)
  • 1