Filters








48,528 Hits in 6.3 sec

Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies

Francisco Durán, Peter Csaba Ölveczky, José E. Rivera
2011 Electronic Proceedings in Theoretical Computer Science  
In this paper we illustrate the use of these constructs --- and thereby implicitly investigate their suitability to define real-time systems in an intuitive way --- to define and formally analyze two prototypical  ...  and very different real-time systems: (i) a simple round trip time protocol for computing the time it takes a message to travel from one node to another, and back; and (ii) the EDF scheduling algorithm  ...  Scheduling is a core issue in real-time systems, and plays a central role in modeling languages such as the AADL modeling standard for avionics and automotive embedded systems used in industry [13] .  ... 
doi:10.4204/eptcs.56.4 fatcat:pmvwgr3y2ja2hpsl7pzwkhuqvy

A semantic framework for the design of distributed reactive real-time languages and applications

Mateo Sanabria-Ardila, Luis Daniel Benavides, Daniel Diaz-Lopez, Wilmer Garzon-Alfonso
2020 IEEE Access  
The proliferation of on-demand internet services delivered over a network of a heterogeneous set of computing devices has created the need for high-performing dynamic systems in real-time.  ...  First, we propose a reactive event-based programming language with explicit support for distribution, concurrency, and explicit time manipulation (ReactiveXD).  ...  with explicit support for distribution and time manipulation.  ... 
doi:10.1109/access.2020.3010697 fatcat:qwlpavs5kvbrda5zv7s6f7vwna

Formal Model Engineering for Embedded Systems Using Real-Time Maude

Peter Csaba Ölveczky
2011 Electronic Proceedings in Theoretical Computer Science  
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.  ...  These models include behavioral subsets of the avionics modeling standard AADL, Ptolemy II discrete-event models, two EMF-based timed model transformation systems, and a modeling language for handset software  ...  I would like to thank the organizers of AMMSE 2011 for inviting me to give a survey talk about the use of Real-Time Maude to support the formal model engineering of embedded systems.  ... 
doi:10.4204/eptcs.56.1 fatcat:fvavv3rpjzgpzdvrsyuj32sxhe

Component-Based Construction of Real-Time Systems in BIP [chapter]

Joseph Sifakis
2009 Lecture Notes in Computer Science  
BIP is a framework for the component-based construction of real-time systems. It considers that systems can be obtained as the composition of 3-layer components.  ...  For a component, -The lower layer describes its behavior, a set of transitions with triggers and actions (atomic state transformations).  ...  BIP is a framework for the component-based construction of real-time systems. It considers that systems can be obtained as the composition of 3-layer components.  ... 
doi:10.1007/978-3-642-02658-4_4 fatcat:mdebklrb2bfezhp5dzj5nemwrq

RTC: Language support for real-time concurrency

Victor Fay Wolfe, Susan Davidson, Insup Lee
1993 Real-time systems  
To support such concurrent real-time applications, a programming language and its run-time system should have the following characteristics: First, the language should facilitate the expression of real-time  ...  Fourth, since many real-time applications are distributed, the run-time system should be distributed.  ... 
doi:10.1007/bf01088697 fatcat:wepmhw27undg3gffbibuh4mily

Real-Time Maude and Its Applications [chapter]

Peter Csaba Ölveczky
2014 Lecture Notes in Computer Science  
Real-Time Maude extends the rewriting-logic-based Maude system to support the executable formal modeling and analysis of realtime systems.  ...  Furthermore, Real-Time Maude's expressiveness has also been exploited to define the formal semantics of a number of modeling languages for real-time/embedded systems.  ...  I thank all my coauthors for very nice collaborations which have motivated, improved, and validated Real-Time Maude.  ... 
doi:10.1007/978-3-319-12904-4_3 fatcat:vl2pr3hnpzarlaertiowpl7nki

On Scalable Synchronization for Distributed Embedded Real-Time Systems [chapter]

Sherif F. Fahmy, Binoy Ravindran, E. Douglas Jensen
2008 Lecture Notes in Computer Science  
We consider the problem of programming distributed embedded real-time systems with distributed dependencies.  ...  We also discuss several alternatives for implementing these programming abstractions and discuss the algorithms and protocols needed.  ...  STM for Distributed Embedded Systems There are a number of competing abstractions for implementing STM in distributed embedded real-time systems.  ... 
doi:10.1007/978-3-540-87785-1_35 fatcat:nupcizv2sbfghmaiuvkgmp4uje

Comparison of component frameworks for real-time embedded systems

Tomáš Pop, Petr Hnětynka, Petr Hošek, Michal Malohlava, Tomáš Bureš
2013 Knowledge and Information Systems  
The usage of components brings significant help in development of real-time embedded systems.  ...  To provide an overview, we present a survey in this paper, which illustrates distinguishing features of selected modern component-based frameworks for real-time embedded systems.  ...  Acknowledgments This work was partially supported by the Grant Agency of the Czech Republic project 201/08/0266. We also thank Lubomir Bulej for his valuable comments and suggestions.  ... 
doi:10.1007/s10115-013-0627-9 fatcat:4kkale32enbjzec5dbkly2hqdm

Comparison of Component Frameworks for Real-Time Embedded Systems [chapter]

Petr Hošek, Tomáš Pop, Tomáš Bureš, Petr Hnětynka, Michal Malohlava
2010 Lecture Notes in Computer Science  
The usage of components brings significant help in development of real-time embedded systems.  ...  To provide an overview, we present a survey in this paper, which illustrates distinguishing features of selected modern component-based frameworks for real-time embedded systems.  ...  Acknowledgments This work was partially supported by the Grant Agency of the Czech Republic project 201/08/0266. We also thank Lubomir Bulej for his valuable comments and suggestions.  ... 
doi:10.1007/978-3-642-13238-4_2 fatcat:4b6yw6rksrd53cec5mudzwwgiq

Using the SHE Method for UML-Based Performance Modeling [chapter]

B. D. Theelen, P. H. A. van der Putten, J. P. M. Voeten
2003 System Specification & Design Languages  
In this paper, we present how the Software/Hardware Engineering (SHE) method can be used for the performance modeling of real-time distributed hardware/software systems.  ...  The design of complex real-time distributed hardware/software systems commonly involves evaluating the performance of several design alternatives.  ...  POOSL is an expressive modeling language with a formal (i.e., mathematically defined) semantics, intended for analyzing complex real-time distributed hardware/software systems.  ... 
doi:10.1007/0-306-48734-9_12 fatcat:22mvpkmv2bfq7oghd2gurxzube

A new paradigm for the design of concurrent systems

Ralph Back, Reino Kurki-Suonio
1987 Proceedings of the first international workshop on Real-time Ada issues - IRTAW '87  
The active components of such a system are the processes ; their interaction is described in terms of messages and operations on shared memory .  ...  A concurrent system is usually understood as a collection of processes that interact through some communication mechanisms .  ...  Work is in progress to test these ideas wit h realistic case studies of real-time systems, and to develop tools to support such a design process .  ... 
doi:10.1145/36821.36815 fatcat:i63xluzag5guteeiqwejswzs5m

A graphical approach for modeling time-dependent behavior of DSLs

Jose E. Rivera, Francisco Duran, Antonio Vallecillo
2009 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)  
real-time complex systems.  ...  We present a graphical modeling tool that we have built for visually specifying these timed behavioral specifications.  ...  facilitating the design of real-time complex systems.  ... 
doi:10.1109/vlhcc.2009.5295300 dblp:conf/vl/RiveraDV09 fatcat:3zlmzp5lgjch7flivgc5sioi7m

The Distributed Control Framework: A software infrastructure for agent-based distributed control and robotics

Zachary Kulis, Vikram Manikonda, Babak Azimi-Sadjadi, Priya Ranjan
2008 2008 American Control Conference  
for hardware in the loop, and a highlevel platform-independent programming language for hybrid control called MDLe (Motion Description Language Extended).  ...  Our Distributed Control Framework (DCF) provides extensive support for robot team coordination and management, a pluggable architecture for sensing and estimation, robust simulation capabilities with support  ...  rates, includes fast-time (discrete clock) and real-time simulation modes, and allows simulations to be distributed across multiple computing resources.  ... 
doi:10.1109/acc.2008.4586677 dblp:conf/amcc/KulisMAR08 fatcat:naaqgvgiazfqrboe3iiyopmvyy

A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements [chapter]

Freek van den Berg, Jozef Hooman, Boudewijn R. Haverkort
2018 Lecture Notes in Computer Science  
which contains latency distribution functions based on real measurements for calibration, and the integration of analysis tools under the hood.  ...  Motivation Embedded systems are computer systems that have a dedicated function within a larger system, often with real-time constraints [19] . Hence, their performance is vital.  ...  Where the latter deliver relatively generic, widely-applicable languages, instead, iDSL provides a domain-specific language (C2) which allows measurements-based calibration (C1), and a fully automated  ... 
doi:10.1007/978-3-319-74947-1_21 fatcat:4jt7wvrlv5aydnkkk5ei5ivgjm

Automating Change Evolution in Model-Driven Engineering

J. Gray, Yuehua Lin, Jing Zhang
2006 Computer  
C-Saw is a plug-in for Vanderbilt University's Generic Modeling Environment (GME)-a configurable toolset that supports the creation of domain-specific modeling environments (www.isis.vanderbilt.edu/Projects  ...  legacy systems from the high-level properties that models describe.  ...  Acknowledgments The initial investigation of this research was made possible by previous support from the DARPA Program Composition for Embedded Systems program.  ... 
doi:10.1109/mc.2006.45 fatcat:dmpl7426hfab7ic3wv5gz33jry
« Previous Showing results 1 — 15 out of 48,528 results