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

component middlewaredistributed real-timeembedded systemsmodel checkingschedulability analysis

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• 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)

• Durative graph transformation rules for modelling real-time reconfiguration
• scientific article; zbMATH DE number 2088937 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

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

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)