G. Fortino, A. Furfaro, L. Nigro, F. Pupo Laboratorio di Ingegneria del...  Home/Search
Context
Related
| si.deis.unical.it/~fortin...pdpta00.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: si.deis.unical.it/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes a methodology for the development of distributed real-time (RT) systems using the Communicating Real-Time State Machines (CRSMs) formal specification language. The methodology is novel in that it addresses complex systems by extending CRSMs with concepts borrowed from Statecharts, and favours timing predictability through a holistic integration of an RT system and its operating software, i.e., message-based runtime executive. A full life cycle is established where all the... (Update)
Similar documents (at the sentence level):
59.8%: Hierarchical Communicating Real-Time State Machines - Nigro (2000) (Correct)
Active bibliography (related documents): More All
0.3: Programming Languages and Systems for Prototyping.. - Wilhelm Hasselbring.. (2000) (Correct)
0.2: Specification of Modeling Techniques - Esprit Project Hide (Correct)
0.2: Actors And Coloured Petri Nets In The Development Life.. - Fortino, Nigro, Pupo (1998) (Correct)
Similar documents based on text: More All
0.7: Agent-Based Distributed Execution of Coloured Petri Nets - Fortino, Nigro, Pupo, Russo (Correct)
0.7: An MBone-based On-demand System for Cooperative Off-line.. - Fortino Nigro Pupo (2001) (Correct)
0.5: Super Actors for Real Time - Fortino, Nigro, Pupo, Spezzano (Correct)
BibTeX entry: (Update)
@misc{ nigro-hierarchical,
author = "Fortino Furfaro Nigro",
title = "Hierarchical Communicating Real-Time State Machines",
url = "citeseer.ist.psu.edu/734814.html" }
Citations (may not include all citations):1174 Statecharts: a visual formalism for complex systems - Harel - 1987
673 Actors: A model for concurrent computation in distributed sy.. (context) - Agha - 1986
271 Real-time Object Oriented Modeling (context) - Selic, Gullekson et al. - 1994
218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
42 Communicating Real-Time State Machines (context) - Shaw - 1992
25 Modeling reactive systems with statecharts (context) - Harel, Politi - 1998
16 Using UML for modelling complex real-time systems (context) - Selic, Rumbaugh - 1998
15 The Object Management Group (context) - Guide, June - 1999
15 The Object Management Group (context) - Specification, June - 1999
11 A modular approach to real-time programming using actors and.. (context) - Nigro, Pupo - 1998
9 Using real time constraints for modularisation (context) - Kirk, Nigro et al. - 1997
3 A prototyping environment for specifying (context) - Raju, Shaw - 1994
2 Time-stamped event histories: a real-time programming object (context) - Shaw - 1997
2 Real-time programming with time-stamped event histories - Shaw, Rupp - 1996
1 Prototyping distributed multimedia systems using Communicati.. - Fortino, Nigro - 2000
Documents on the same site (http://si.deis.unical.it/~fortino/research/publications.htm): More
Robust Transmission of MPEG Video Streams over Lossy.. - Albanese, Fortino (1999) (Correct)
Multi-coordination of Mobile Agents: a Model and a.. - Fortino, Russo (2005) (Correct)
A Java-Based Adaptive Media Streaming On-Demand Platform - Fortino, Furfaro, Russo, al. (2002) (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