Using abstraction in modular verification of synchronous adaptive systems

DOI10.4230/OASICS.TRUSTWORTHYSW.2006.699MaRDI QIDQ2917404zbMATH OpenFDO

Authors Ina Schaefer, Arnd Poetzsch-Heffter

Publication date 28 September 2012

Full work available at URL https://doi.org/10.4230/OASICS.TRUSTWORTHYSW.2006.699

zbMATH Keywords

abstractiondependable embedded systemsmodular verificationself-adaptation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Formal specification and verification of decentralized self-adaptive systems using symmetric nets
• scientific article; zbMATH DE number 2080769
• Automated Technology for Verification and Analysis
• Formal methods in designing embedded systems -- the SACRES experience
• scientific article; zbMATH DE number 1487730

Cited in

(7)

• Formal modeling of evolving self-adaptive systems
• Formal specification and verification of decentralized self-adaptive systems using symmetric nets
• Precise specification matching for adaptive reuse in embedded systems
• Modelling adaptive systems in ForSyDe
• A white box perspective on behavioural adaptation
• Automated Technology for Verification and Analysis
• Specification and validation of autonomous driving systems: a multilevel semantic framework

Describes a project that uses

Uses Software

• DARX

This page was built for publication: Using abstraction in modular verification of synchronous adaptive systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2917404)