Programming and verifying component ensembles

DOI10.1007/978-3-642-54848-2_5MaRDI QIDQ5170744zbMATH OpenOpenAlexWikidataFDO

Authors Rocco De Nicola, Alberto Lluch Lafuente, Michele Loreti, Andrea Morichetta, Valerio Senni, Francesco Tiezzi, Rosario Pugliese

Publication date 24 July 2014

Published in From Programs to Systems. The Systems perspective in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54848-2_5

zbMATH Keywords

component-based systemscyber-physical systemsformal methodsmodel checkingprocess calculiverification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model-Checking Helena Ensembles with Spin
• VCS: a verifier for component-based systems
• The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin
• Formal Verification for Components and Connectors
• Compiling and verifying SC-SystemJ programs for safety-critical reactive systems

Cited in

(5)

• A formal approach to the engineering of domain-specific distributed systems
• Model-Checking Helena Ensembles with Spin
• A coordination language for databases
• Programming autonomic systems with multiple constraint stores
• Automatic moment-closure approximation of spatially distributed collective adaptive systems

Describes a project that uses

Uses Software

• PROMELA
• Pirlo
• SCELlight
• SPIN
• dSPIN
• Xtext
• KLAIM
• SCEL

This page was built for publication: Programming and verifying component ensembles

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