Presentation title

Contract-based design with the CHESS toolset

Authors

Silvia Mazzini

Institution(s)

Intecs S.p.A.

Presentation type

Technical presentation

Abstract

CHESS è un insieme di strumenti integrati, disponibile come open source su Eclipse, concepito per supportare una metodologia model-based specializzata per lo sviluppo di componenti per sistemi software ad alta integrità. Nel contesto del progetto ECSEL AMASS (Assurance and Certification of CPS) , che ha l'obiettivo di creare una piattaforma di strumenti aperti, un ecosistema e una comunità autosufficiente per la garanzia e la certificazione di sistemi Cyber-Physical per diversi domini di interesse, il supporto di CHESS per la progettazione basata su contratti è esteso per consentire supporto alla certificazione.

---

Additional material

• Presentation slides: [pdf]

For more details on this presentation please click the button below: