Verifying distributed real-time properties of embedded systems via graph transformations and model checking

DOI10.1007/S11241-006-6883-YMaRDI QIDQ853626zbMATH OpenOpenAlexFDO

Authors Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt

Publication date 17 November 2006

Published in Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11241-006-6883-y

zbMATH Keywords

model checkingschedulability analysisembedded systemscomponent middlewaredistributed real-time

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Recommendations

• Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
• scientific article; zbMATH DE number 2088937
• scientific article; zbMATH DE number 2176488
• A Platform-independent Component Modeling Language for distributed real-time and embedded systems
• Scenario-based consistency verification of component-based real-time system designs

Cites work

• scientific article; zbMATH DE number 1947707 (Why is no real title available?)
• scientific article; zbMATH DE number 2080044 (Why is no real title available?)
• scientific article; zbMATH DE number 2080758 (Why is no real title available?)
• scientific article; zbMATH DE number 1931746 (Why is no real title available?)
• A theory of timed automata
• Analysis of scheduling behaviour using generic timed automata
• Experimental evaluation of state-of-the-art heuristics for the resource-constrained project scheduling problem
• Formal Methods for the Design of Real-Time Systems
• Lazy abstraction
• Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
• Model-checking in dense real-time
• Pattern-oriented software architecture
• Rate monotonic vs. EDF: judgment day
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Scheduling subject to resource constraints: Classification and complexity
• Tools and Algorithms for the Construction and Analysis of Systems
• Uppaal in a nutshell

Cited in

(4)

• A Platform-independent Component Modeling Language for distributed real-time and embedded systems
• Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
• scientific article; zbMATH DE number 2088937 (Why is no real title available?)
• Durative graph transformation rules for modelling real-time reconfiguration

Describes a project that uses

Uses Software

• dSPIN
• Giotto
• Ptolemy
• DREAM Tool
• Uppaal
• HyTech
• SPIN
• IF-2.0
• Uppaal2k
• VEST
• Kronos

This page was built for publication: Verifying distributed real-time properties of embedded systems via graph transformations and model checking

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