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

DOI10.1007/S11241-006-6883-YzbMATH Open1103.68630OpenAlexW2068025314MaRDI QIDQ853626FDOQ853626

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• Durative graph transformation rules for modelling real-time reconfiguration

Uses Software

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

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)