1,110 Hits in 7.6 sec

Pushing the limits of remote online diagnosis in flexray-based networks

E. Armengaud, A. Steininger
2006 2006 IEEE International Workshop on Factory Communication Systems  
We further propose a novel approach for transparent online testing that utilizes the clock synchronization services to loop back information on a node's reception status to the tester.  ...  In particular we discuss how the the clock synchronization service can be exploited for online diagnosis.  ...  Acknowledgements: The authors would like to acknowledge the contributions of the STEACS team in the preparation of concepts and tools for the experiments shown, and in particular that of Martin Horauer  ... 
doi:10.1109/wfcs.2006.1704122 fatcat:nkwui7cv4vggloufb46zhtyi44

A new specification-based qualitative metric for simulation model validity

D. Foures, V. Albert, A. Nketsa
2016 Simulation modelling practice and theory  
This paper proposes a formal approach to assess simulation scenarios.  ...  Informal validation techniques such as simulation are extensively used in the development of embedded systems.  ...  In [8] , Traoré and Muzy pioneered a formal definition of the experimental frame. Our approach relies on this definition.  ... 
doi:10.1016/j.simpat.2016.03.002 fatcat:y5necb5r4zgblgslotdpatesqe

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.  ...  In particular, I would like to thank José Meseguer, who has been part of the entire Real-Time Maude journey, Martin Wirsing, who initiated this journey, and Kyungmin Bae.  ... 
doi:10.1007/978-3-319-12904-4_3 fatcat:vl2pr3hnpzarlaertiowpl7nki

Abstraction Refinement-Based Verification of Timed Automata

Tamás Tóth, István Majzik
2021 Zenodo  
Formal methods are mathematical techniques that enable the rigorous specification and verification of hardware and software systems, typically in design time.  ...  In addition, the state space is not necessarily finite, in particular for real-time systems, where continuous variables with time dimension are part of the specification.  ...  According to the algorithm described in this chapter, refinement is triggered upon encountering a disabled transition.  ... 
doi:10.5281/zenodo.4759046 fatcat:3vrprqrhfjeknjjdn74uqoreo4

A novel quantitative explanation for the autonomic modulation of cardiac pacemaker cell automaticity via a dynamic system of sarcolemmal and intracellular proteins

Victor A. Maltsev, Edward G. Lakatta
2010 American Journal of Physiology. Heart and Circulatory Physiology  
In conclusion, our model simulations corroborate recent experimental results in rabbit SANCs pointing to a new paradigm for GPCR heart rate modulation by a complex system of dynamically coupled sarcolemmal  ...  changes of sarcolemmal ion channels are combined with a simultaneous increase/ decrease in SR Ca 2ϩ pumping capability.  ...  GRANTS This work was supported by the Intramural Research Program of the National Institute on Aging (National Institutes of Health).  ... 
doi:10.1152/ajpheart.00783.2009 pmid:20228256 pmcid:PMC2886657 fatcat:ivfo4xtidnajbmdz4n4ngxkoyu

Runtime Verification Past Experiences and Future Projections [chapter]

Klaus Havelund, Giles Reger, Grigore Roşu
2019 Lecture Notes in Computer Science  
The discipline covers such topics as specificationbased monitoring, where single executions are checked against formal specifications; predictive runtime analysis, where properties about a system are predicted  ...  The paper provides an overview of the work performed by the authors since the year 2000 in the field of runtime verification.  ...  LogFire is a rule-based system similar to RuleR, but based on the Rete algorithm implemented in several rule-based systems.  ... 
doi:10.1007/978-3-319-91908-9_25 fatcat:owudlqherneptb7smodwctj37y

Active complex event processing over event streams

Di Wang, Elke A. Rundensteiner, Richard T. Ellison
2011 Proceedings of the VLDB Endowment  
Active rules in ACEP allow us to specify a pattern query's dynamic condition and real-time actions.  ...  We demonstrate the power of ACEP technology by applying it to the development of a healthcare system being deployed in UMass Medical School hospital.  ...  While the system time of an event instance is assigned by the ACEP engine using the system wall-clock time, denoted as ei.sts. Similar event instances can be grouped into an event type.  ... 
doi:10.14778/2021017.2021021 fatcat:t5cljdotdjayvbvivp3ykwnuje

Integrating model checking and UML based model-driven development for embedded systems

Zamira Daw, Rance Cleaveland, Marcus Vetter
2014 Electronic Communications of the EASST  
The verification of system requirements is shown using a case study of an infusion pump.  ...  The environment, DMOSES, is based on a formalization of UML Activity Diagrams and is used to generate correct and efficient code from such models; a key application area is the medical-device domain.  ...  Acknowledgments The research for this paper was undertaken during a stay as visiting researcher in the Fraunhofer USA Center for Experimental Software Engineering.  ... 
doi:10.14279/tuj.eceasst.66.888 dblp:journals/eceasst/DawCV13 fatcat:tqmvnyqmt5g2jcrl7p4qw3dol4

Design and Realization of an Efficient Large-Area Event-Driven E-Skin

Florian Bergner, Emmanuel Dean-Leon, Gordon Cheng
2020 Sensors  
The sense of touch enables us to safely interact and control our contacts with our surroundings. Many technical systems and applications could profit from a similar type of sense.  ...  Overall, this work develops a systematic approach towards realizing a flexible event-driven information handling system on standard computer systems for large-scale e-skin with detailed descriptions on  ...  Acknowledgments: The authors thank Mrs. Katharina Stadler and Mr. Sebastian Stenner for their technical assistance, and Mr. J. Rogelio Guadarrama-Olvera for his support with the H1 robot.  ... 
doi:10.3390/s20071965 pmid:32244511 pmcid:PMC7180917 fatcat:acaii3peyzemlmsozcwxmx4pga

Modeling and formal verification of embedded systems based on a Petri net representation

Luis Alejandro Cortés, Petru Eles, Zebo Peng
2003 Journal of systems architecture  
Second, we propose an approach to the problem of formal verification of embedded systems represented in our modeling formalism.  ...  Our modeling formalism has a welldefined semantics so that it supports a precise representation of the system, the use of formal methods to verify its correctness, and the automation of different tasks  ...  A second major contribution of this paper is an approach to the formal verification of real-time embedded systems. It allows us to formally reason about embedded systems represented in PRES+.  ... 
doi:10.1016/s1383-7621(03)00096-1 fatcat:z25o5y7kkzcyri5rdujkbsyksq

Advanced Photonic and Electronic Systems WILGA 2017

Ryszard S. Romaniuk
2017 International Journal of Electronics and Telecommunications  
The article is a digest of some chosen works presented during Wilga 2017 symposium. WILGA 2017 works were published in Proc. SPIE vol.10445.  ...  The following topical tracks were distinguished: photonics, electronics, information technologies and system research.  ...  We look here for clock and phase synchronization via the distributed timing system, synchronous data transmission, data packets synchronization, time synchronization, timestamping of data packets and experiment  ... 
doi:10.1515/eletel-2017-0060 fatcat:uaiab4wmcjb33ao32d7q4tcucq

Formal methods for the specification and design of real-time safety critical systems

Jonathan S. Ostroff
1992 Journal of Systems and Software  
This paper surveys formal methods for specifying, designing and verifying real-time systems, so as to improve their safety and reliability.  ...  Safety critical computers increasingly a ect nearly every aspect of our lives. Computers control the planes we y on, monitor our health in hospitals and do our work in hazardous environments.  ...  A real-time system is one in which the controller software must synchronize with the plant processes whose progress it cannot directly control, so as to ensure that the plant behaves safely and reliably  ... 
doi:10.1016/0164-1212(92)90045-l fatcat:zgh4zhmpjbbarecagzor3cxkh4

Time-Optimal Real-Time Test Case Generation Using Uppaal [chapter]

Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
2004 Lecture Notes in Computer Science  
A promising improvement is to automatically generate test cases from formal models of the system under test.  ...  Specifically we demonstrate how to efficiently generate realtime test cases with optimal execution time i.e test cases that are the fastest possible to execute.  ...  well-proven algorithms, and finally 4) we provide experimental evidence in that the proposed technique has practical merits.  ... 
doi:10.1007/978-3-540-24617-6_9 fatcat:go56yr36xbhdfjdde4nzdzezwq

Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems

Kai Lampka, Simon Perathoner, Lothar Thiele
2010 Design automation for embedded systems  
This paper presents a compositional and hybrid approach for the performance analysis of distributed real-time systems.  ...  The developed methodology abstracts system components by either flow-oriented and purely analytic descriptions or by state-based models in the form of timed automata.  ...  Timed automata [2] are a well accepted formalism for analyzing real-time systems, see e.g. [17] .  ... 
doi:10.1007/s10617-010-9055-1 fatcat:owl5iwxcbjd3loio5qddvfshzi

Testing Real-Time Embedded Systems using Timed Automata based approaches

M. Saeed AbouTrab, Michael Brockway, Steve Counsell, Robert M. Hierons
2013 Journal of Systems and Software  
First, a new Priority-based Approach (PA) for testing RTES modelled formally as UPPAAL timed automata (TA variant) is introduced.  ...  Real-time Embedded Systems (RTESs) have an increasing role in controlling society infrastructures that we use on a day-to-day basis.  ...  To clarify, transitions in TA models are instantaneous (i.e., the time of triggering a transition is 0). However, triggering transitions consumes time in actuality.  ... 
doi:10.1016/j.jss.2012.12.030 fatcat:udaob3g2xnaolmi7qivauwpkau
« Previous Showing results 1 — 15 out of 1,110 results