Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt  Home/Search
Context Related
| wustl.edu/~schmidt/...MAS_RTSJ_2005.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wustl.edu/~schmidt/resume (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Component middleware provides dependable and e#cient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. Component middleware, however, also introduces challenges for DRE system developers, such as evaluating the predictability of DRE system behavior, and choosing the right design alternatives before committing to a specific platform or platform configuration. Model-based technologies help address these issues by... (Update)
Cited by: More
Model-based Analysis of Distributed Real-time Embedded.. - Madl, Abdelwahed (2005) (Correct)
Active bibliography (related documents): More All
2.9: Automatic Verification of Component-Based Real-Time.. - Madl, Abdelwahed, Karsai (2004) (Correct)
0.5: Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
0.5: A Model-Based Approach to System Specification for .. - Cornea.. (Correct)
Similar documents based on text: More All
0.2: A Reachability based Stability Analysis for Switching Systems - Su, Abdelwahed, Neema (2004) (Correct)
0.2: Interacting DES: Modelling and Analysis - Abdelwahed, Wonham (2003) (Correct)
0.2: Supervisory Control of Interacting Discrete Event Systems - Abdelwahed, Wonham (2002) (Correct)
Related documents from co-citation: More All
2: Automatic Verification of Component-Based Real-Time CORBA Applications - Madl, Abdelwahed et al. - 2004
2: An End-toEnd Tool Chain for Multi-View Modeling and Analysis of Avionics Mission.. (context) - Gu, Wang et al. - 2003
2: Model-Based Integration of Reusable Component-Based Avionics System (context) - Sharp, Roll - 2003
BibTeX entry: (Update)
G. Madl, S. Abdelwahed, and D. C. Schmidt. Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking (invited paper, submitted). The International Journal of Time-Critical Computing, 2005. http://citeseer.ist.psu.edu/madl05verifying.html More
@misc{ madl05verifying,
author = "G. Madl and S. Abdelwahed and D. Schmidt",
title = "Verifying Distributed Real-time Properties of Embedded Systems via Graph
Transformations and Model Checking",
text = "G. Madl, S. Abdelwahed, and D. C. Schmidt. Verifying Distributed Real-time
Properties of Embedded Systems via Graph Transformations and Model Checking
(invited paper, submitted). The International Journal of Time-Critical Computing,
2005.",
year = "2005",
url = "citeseer.ist.psu.edu/madl05verifying.html" }
Citations (may not include all citations):1582 Scheduling Algorithms for Multiprogramming in a Hard-Real-Ti.. - Liu, Layland - 1973
828 Model checking - Edmund, Clarke et al. - 1999
400 Pattern-Oriented Software Architecture---A System of Pattern.. (context) - Buschmann, Meunier et al. - 1996
372 The Unified Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1998
268 A theory of timed automata - Alur, Dill - 1994
201 The Design and Performance of a Real-Time CORBA Event Servic.. - Harrison, Levine et al. - 1997
155 The tool KRONOS - Daws, Olivero et al. - 1996
127 Pattern-Oriented Software Architecture: Patterns for Concurr.. (context) - Schmidt, Stal et al. - 2000
102 Holistic Schedulability Analysis for Distributed Hard Real-T.. (context) - Tindell, Clark - 1994
88 Lazy abstraction - Henzinger, Jhala et al. - 2002
86 A High-Performance Endsystem Architecture for Real-Time CORB.. - Schmidt, Gokhale et al. - 1997
42 Uppaal in a Nutshell - Larsen, Pettersson et al. - 1997
41 Model-Integrated Computing (context) - Sztipanovits, Karsai - 1997
40 The SPIN model checker: Primer and reference manual (context) - Holzmann - 2004
39 Giotto: A time-triggered language for embedded programming - Henzinger, Horowitz et al. - 2001
38 The Design and Performance of a Scalable ORB Architecture fo.. - Arulanthu, O'Ryan et al. - 2000
30 Composing DomainSpecific Design Environments (context) - Ledeczi, Bakay et al. - 2001
25 Model-Based Integration of Reusable Component-Based Avionics.. (context) - Sharp, Roll - 2003
25 Freeing Product Line Architectures from Execution Dependenci.. (context) - Doerr, Sharp - 1999
23 Scheduling subject to resource constraints: Classification a.. (context) - Blazewicz, Lenstra et al. - 1983
23 Design and synthesis of synchronisation skeletons using bran.. (context) - Clarke, Emerson - 1981
19 Suspension automata: A decidable class of hybrid automata (context) - McManis, Varaiya - 1994
15 Bulletin of the European Association for Theoretical Compute.. (context) - Pettersson, Larsen - 2000
13 VEST: An Aspect-based Composition Tool for Real-time Systems - Stankovic, Zhu et al. - 2003
12 Timed Automata as Task Models for Event-Driven Systems - Ericsson, Wall et al. - 1999
12 Towards Model-Based and CCM-Based Applications for Real-Time.. (context) - Roll - 2003
11 Cadena: An Integrated Development, Analysis, and Verificatio.. - Hatcli, Deng et al. - 2003
11 CORBA Component Model (context) - Group - 2002
11 Metropolis: An Integrated Electronic System Design Environme.. (context) - Balarin, Watanabe et al. - 2003
9 Model Driven Middleware: A New Paradigm for Deploying and Pr.. (context) - Gokhale, Balasubramanian et al. - 2005
6 Integrated Adaptive QoS Management in Middleware: An Empiric.. - Gill, Gossett et al. - 2005
6 Experimental evaluation of state-of-the-art heuristics for t.. - Hartmann, Kolisch - 2000
6 Applying Reflective Middleware Techniques to Optimize a QoS-.. - Wang, Schmidt et al. - 2000
5 A Practitioners' Handbook for Real-Time Analysis: Guide to R.. (context) - Klein, Ralya et al. - 1993
4 Using Timed Automata for Response Time Analysis of Distribut.. - Bradley, Henderson et al. - 1999
4 Time Weaver: A Software-Through-Models Framework for Real-Ti.. (context) - de Niz, Rajkumar - 2003
4 Analysis of Scheduling Behaviour using Generic Timed Automat.. - Gerdsmeier, Cardell-Oliver - 2001
4 An End-to-End Tool Chain for Multi-View Modeling and Analysi.. (context) - Gu, Wang et al. - 2003
3 Design and Performance of Asynchronous Method Handling for C.. - Deshpande, Schmidt et al. - 2002
3 Decidable and Undecidable Problems in Schedulability Analysi.. (context) - Krcal, Yi - 2004
2 An End-to-End Domain-Driven Development Framework (context) - Agrawal, Karsai et al. - 2003
2 FORGE: A Framework for Optimization of Distributed Embedded .. - Cornea, Dutt et al. - 2003
2 Verification of Real-Time Designs: Combining Scheduling Theo.. (context) - Braberman, Felder - 1999
2 Preemptive job-shop scheduling using stopwatch automata (context) - Abdeddam, Maler - 2002
1 OMG Document formal/02-08-02 ed (context) - Specification - 2002
1 The IF Toolset (context) - Bozga, Graf et al. - 2004
1 Model-based Analysis of Distributed Real-time Embedded Syste.. - Madl, Abdelwahed - 2005
1 Extensible Markup Language (XML) 1.0 (Thid Edition (context) - Web - 2004
1 Rate Monotonic vs. EDF: Judgment Day (context) - Buttazzo - 2005
1 Model-checking of component-based real-time embedded softwar.. (context) - Gu, Shin - 2005
Documents on the same site (http://www.cs.wustl.edu/~schmidt/resume.html): More
Applying Patterns and Components to Develop an IDL.. - Arulanthu, O'Ryan, .. (2000) (Correct)
Applying Adaptive Real-time Middleware to Address.. - Gill, Kuhns, Levine.. (Correct)
Applying Optimization Principle Patterns to Real-time.. - Pyarali, O'Ryan.. (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC