Internet Archive Scholar
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  

Preserved Fulltext

File Archive PDF (874.1 kB)
https://archive.org/download/arxiv-1107.0066/1107.0066.pdf

The Internet Archive has a preservation copy of this work in our general collections. The file type is application/pdf.

Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:

2011 pre-print arXiv:1107.0066v1 fatcat:tonusjowkjaa5ejg3ykcddzvua
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
DOAJ Multiple Versions
Citation

Francisco Durán, Peter Csaba Ölveczky, José E. Rivera. "Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies." Electronic Proceedings in Theoretical Computer Science (2011) 49-63

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (6.4 MB)
https://web.archive.org/web/20210718035937/https://ieeexplore.ieee.org/ielx7/6287639/8948470/09144537.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

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
DOAJ
Citation

Mateo Sanabria-Ardila, Luis Daniel Benavides, Daniel Diaz-Lopez, Wilmer Garzon-Alfonso. "A semantic framework for the design of distributed reactive real-time languages and applications." IEEE Access (2020) 1-1

Formal Model Engineering for Embedded Systems Using Real-Time Maude

Peter Csaba Ölveczky
2011 Electronic Proceedings in Theoretical Computer Science  

Preserved Fulltext

File Archive PDF (679.5 kB)
https://archive.org/download/arxiv-1107.0063/1107.0063.pdf

The Internet Archive has a preservation copy of this work in our general collections. The file type is application/pdf.

Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:

2011 pre-print arXiv:1107.0063v1 fatcat:b3sft2wjafbihcyqlbkncgm55a
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
DOAJ Multiple Versions
Citation

Peter Csaba Ölveczky. "Formal Model Engineering for Embedded Systems Using Real-Time Maude." Electronic Proceedings in Theoretical Computer Science (2011) 3-13

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

Joseph Sifakis
2009 Lecture Notes in Computer Science  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (54.7 kB)
https://web.archive.org/web/20190502140708/https://link.springer.com/content/pdf/10.1007%2F978-3-642-02658-4_4.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL. The file type is application/pdf.

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
Citation

Joseph Sifakis. "Component-Based Construction of Real-Time Systems in BIP." Lecture Notes in Computer Science (2009) 33-34

RTC: Language support for real-time concurrency

Victor Fay Wolfe, Susan Davidson, Insup Lee
1993 Real-time systems  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (79.0 kB)
https://web.archive.org/web/20170809003825/http://www-users.cs.york.ac.uk/~burns/papers/RTC.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

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
Citation

Victor Fay Wolfe, Susan Davidson, Insup Lee. "RTC: Language support for real-time concurrency." Real-time systems (1993) 63-87

Real-Time Maude and Its Applications [chapter]

Peter Csaba Ölveczky
2014 Lecture Notes in Computer Science  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (2.3 MB)
https://web.archive.org/web/20190430215200/https://link.springer.com/content/pdf/10.1007%2F978-3-319-12904-4_3.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL. The file type is application/pdf.

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
Citation

Peter Csaba Ölveczky. "Real-Time Maude and Its Applications." Lecture Notes in Computer Science (2014) 42-79

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

Sherif F. Fahmy, Binoy Ravindran, E. Douglas Jensen
2008 Lecture Notes in Computer Science  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (284.7 kB)
https://web.archive.org/web/20180723020147/https://link.springer.com/content/pdf/10.1007%2F978-3-540-87785-1_35.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL. The file type is application/pdf.

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
Citation

Sherif F. Fahmy, Binoy Ravindran, E. Douglas Jensen. "On Scalable Synchronization for Distributed Embedded Real-Time Systems." Lecture Notes in Computer Science (2008) 394-405

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (189.1 kB)
https://web.archive.org/web/20170808234122/http://d3s.mff.cuni.cz/publications/download/HosekPopBuresHnetynkaMalohlava-CompOfCompSysForRealtime.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

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
Citation

Tomáš Pop, Petr Hnětynka, Petr Hošek, Michal Malohlava, Tomáš Bureš. "Comparison of component frameworks for real-time embedded systems." Knowledge and Information Systems 40.1 (2013) 127-170

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (189.1 kB)
https://web.archive.org/web/20170808234122/http://d3s.mff.cuni.cz/publications/download/HosekPopBuresHnetynkaMalohlava-CompOfCompSysForRealtime.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

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
Citation

Petr Hošek, Tomáš Pop, Tomáš Bureš, Petr Hnětynka, Michal Malohlava. "Comparison of Component Frameworks for Real-Time Embedded Systems." Lecture Notes in Computer Science (2010) 21-36

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (895.1 kB)
https://web.archive.org/web/20051210214116/http://www.ics.ele.tue.nl:80/~poosl/publications/book/TPV03.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL. The file type is application/pdf.

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
Citation

B. D. Theelen, P. H. A. van der Putten, J. P. M. Voeten. "Using the SHE Method for UML-Based Performance Modeling." System Specification & Design Languages (2003) 143-160

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (236.6 kB)
https://web.archive.org/web/20190218050146/https://static.aminer.org/pdf/PDF/000/267/271/serializability_in_distributed_systems_with_handshaking.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL. The file type is application/pdf.

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
Citation

Ralph Back, Reino Kurki-Suonio. "A new paradigm for the design of concurrent systems." Proceedings of the first international workshop on Real-time Ada issues - IRTAW '87 (1987)

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)  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (309.9 kB)
https://web.archive.org/web/20170705122829/http://www.lcc.uma.es/~av/Publicaciones/09/VLHCC09.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

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
Citation

Jose E. Rivera, Francisco Duran, Antonio Vallecillo. "A graphical approach for modeling time-dependent behavior of DSLs." 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (2009) 51-55

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (856.3 kB)
https://web.archive.org/web/20170706101416/http://folk.ntnu.no/skoge/prost/proceedings/acc08/data/papers/1015.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL. The file type is application/pdf.

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
Citation

Zachary Kulis, Vikram Manikonda, Babak Azimi-Sadjadi, Priya Ranjan. "The Distributed Control Framework: A software infrastructure for agent-based distributed control and robotics." 2008 American Control Conference (2008) 1329-1336

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (500.5 kB)
https://web.archive.org/web/20190221203632/http://pdfs.semanticscholar.org/2cc1/6996449044f61709a7ded221bd4c968d35b8.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL. The file type is application/pdf.

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
Citation

Freek van den Berg, Jozef Hooman, Boudewijn R. Haverkort. "A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements." Lecture Notes in Computer Science (2018) 295-301

Automating Change Evolution in Model-Driven Engineering

J. Gray, Yuehua Lin, Jing Zhang
2006 Computer  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (4.5 MB)
https://web.archive.org/web/20120106122708/http://www.cs.ua.edu/~gray/pubs/computer.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL. The file type is application/pdf.

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
Citation

J. Gray, Yuehua Lin, Jing Zhang. "Automating Change Evolution in Model-Driven Engineering." Computer 39.2 (2006) 51-58

« Previous Showing results 1 — 15 out of 48,528 results