Static analysis of real-time component-based systems configurations

DOI10.1016/S0167-6423(02)00085-0MaRDI QIDQ1870849zbMATH OpenOpenAlexFDO

Authors Candida Attanasio, Flavio Corradini, P. Inverardi

Publication date 14 May 2003

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(02)00085-0

zbMATH Keywords

real-time systemsstatic analysissystem configuration

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Toward parametric timed interfaces for real-time components
• Heterogeneous and asynchronous networks of timed systems
• Schedule verification and synthesis for embedded real-time components
• Verification, Model Checking, and Abstract Interpretation
• Formal Methods for Components and Objects

Cited in

(2)

• Multi-rate system design through integrating synchronous components
• scientific article; zbMATH DE number 1787170 (Why is no real title available?)

Describes a project that uses

Uses Software

• SIGNAL
• ASTRAL

This page was built for publication: Static analysis of real-time component-based systems configurations

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