Filters








17,381 Hits in 5.6 sec

Evolving real-time systems using hierarchical scheduling and concurrency analysis

J. Regehr, A. Reid, K. Webb, M. Parker, J. Lepreau
Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748)  
We have developed a new way to look at real-time and embedded software: as a collection of execution environments created by a hierarchy of schedulers.  ...  Our high-level goal is to create systems that are evolvable: they are easier to modify in response to changing requirements than are systems created using traditional techniques.  ...  F30602-99-1-0503 and F33615-00-C-1696.  ... 
doi:10.1109/real.2003.1253251 dblp:conf/rtss/RegehrRWPL03 fatcat:7xnwchkulvcn3mkxezbuvyokoi

DYMONDS computer platform for smart grids

Marija D. Ilic
2014 2014 Power Systems Computation Conference  
the physical system and different smarts are being embedded, rather than having to re-program every time as the physical system changes; this is because new semantics are introduced at the component interaction  ...  Perhaps, most important is the fact that the proposed computer platform can evolve dynamically as operating conditions and status of actors vary, and, longer-term, as different components are added to  ...  When scheduling only quasi-static sequences evolving at time rate [ ] are predicted and controlled using equilibrium models of hierarchical components; similarly, today's frequency regulation is a quasi-static  ... 
doi:10.1109/pscc.2014.7038476 dblp:conf/pscc/Ilic14 fatcat:vgnesmt7frbw3kijcloatcazji

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems

Junkil Park, Insup Lee, Oleg Sokolsky, Dae Yon Hwang, Sojin Ahn, Jin-Young Choi, Inhye Kang
2017 Journal of Logical and Algebraic Methods in Programming  
A system composed of real-time subsystems with hierarchy is called a hierarchical real-time system This paper describes a process algebraic approach to schedulability analysis of hierarchical real-time  ...  This paper describes a process algebraic approach to schedulability analysis of hierarchical real-time systems.  ...  analysis and workload abstraction of hierarchical real-time systems with various scheduling algorithms.  ... 
doi:10.1016/j.jlamp.2017.07.001 fatcat:oqs3ynczy5fkrfh4ootgrjwr5q

Guest editorial

R. Zurawski
2002 IEEE transactions on industrial electronics (1982. Print)  
Analysis and Simulation Methods and Tools The schedulability analysis of hard real-time systems aims at investigating whether some deadlines are met in the worst case scenario, which actually may not occur  ...  An approach to the integration of schedulability and reliability analysis is presented in the fifth paper, "Integrating Reliability and Timing Analysis of CAN-Based Systems," by H. Hansson, T.  ... 
doi:10.1109/tie.2002.804959 fatcat:k5hxmjxytrbrzhprlfw3hi4jsu

Model-driven analysis and design for software development of autonomous underwater vehicles

Francisco J. Ortiz, Carlos C. Insaurralde, Diego Alonso, Francisco Sánchez, Yvan R. Petillot
2014 Robotica (Cambridge. Print)  
A case study of a high-performance AUV control application and experimental results from a software schedulability analysis are presented.  ...  This paper presents the analysis, design, and implementation of control software for an Autonomous Underwater Vehicle (AUV).  ...  The FraCC Framework FraCC efficiently deals with the concurrent and real-time requirements of robotic software systems.  ... 
doi:10.1017/s0263574714001027 fatcat:yx62qpafnfgcngv5ytwzcnzsbi

A survey on shared disk I/O management in virtualized environments under real time constraints

Ignacio Sañudo, Roberto Cavicchioli, Nicola Capodieci, Paolo Valente, Marko Bertogna
2018 ACM SIGBED Review  
In the embedded systems domain, hypervisors are increasingly being adopted to guarantee timing isolation and appropriate hardware resource sharing among different software components.  ...  We argue that hypervisors can be an effective means to achieve an efficient and predictable arbitration of competing requests to shared devices in order to satisfy real-time requirements.  ...  An example of the first category is RT-Xen [23] (now merged into mainline Xen [1]), which implements a hierarchical virtual machine scheduler managing both real-time and non-real-time workloads using  ... 
doi:10.1145/3199610.3199618 fatcat:uxlpozshrfhlnldmjfwa3rpny4

Systems-of-Systems Framework for Providing Real-Time Patient Monitoring and Care: Challenges and Solutions [chapter]

Roman Obermaisser, Mohammed Abuteir, Ala Khalifeh, Dhiah el Diehn I. Abou-Tair
2015 Communications in Computer and Information Science  
While the importance of System-of-Systems (SoS) is widely recognized, today's missing support for real-time and reliability requirements limits the realization of SoS in safetyrelevant real-time applications  ...  Different from most of the proposed work in the literature, this framework utilizes the concept of systems-of-systems approach in sensing, analyzing the patients' information data, and issuing real-time  ...  of distributed embedded system architecture for constantly evolving and dynamic SoS with support for verifiable real-time, reliability and safety properties.  ... 
doi:10.1007/978-3-662-48645-0_12 fatcat:6umbk5ninfho3cnwzwivuree3a

Exploring the Concurrency of an MPEG RVC Decoder Based on Dataflow Program Analysis

Ruirui Gu, J.W. Janneck, S.S. Bhattacharyya, M. Raulet, M. Wipliez, W. Plishker
2009 IEEE transactions on circuits and systems for video technology (Print)  
Furthermore, segmenting a system into SDF-like regions also allows us to explore cross-actor concurrency that results from dynamic dependencies among different regions.  ...  Using SDF-like region detection as a preprocessing step to software synthesis generally provides an efficient way for mapping tasks to multi-core systems, and improves the system performance of video processing  ...  Concurrency mainly benefits system execution speed, especially for real time systems such as video decoders.  ... 
doi:10.1109/tcsvt.2009.2031517 fatcat:f4wk45mxejfwpk5bs7hevxh2xm

Systems-of-Systems Framework for Providing Real-time Patient Monitoring and Care

Ala' Khalifeh, Roman Obermaisser Obermaisser, Mohammed Abuteir, Dhiah el Diehn I. Abou-Tair
2014 Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare  
While the importance of Systems-of-Systems (SoS) is widely recognized, today's missing support for real-time and reliability requirements limits the realization of SoS in safetyrelevant real-time applications  ...  Different from most of the proposed work in the literature, this framework utilizes the concept of systems-of-systems approach in sensing, analyzing the patients' information data, and issuing a real-time  ...  of distributed embedded system architecture for constantly evolving and dynamic SoS with support for verifiable real-time, reliability and safety properties.  ... 
doi:10.4108/icst.pervasivehealth.2014.255324 dblp:conf/ph/KhalifehOAA14 fatcat:nlssdyuy55h6xlikft5ewhrlke

Architecture and Mechanism Design for Real-Time and Fault-Tolerant Etherware for Networked Control

Kyoung-Dae Kim, P.R. Kumar
2008 IFAC Proceedings Volumes  
We believe that a standard control software framework which enables rapid, reliable and evolvable application development is the key for the proliferation of the networked control systems.  ...  We also propose an architecture and mechanisms for enhancing the robustness of networked control systems to faults, that we are currently implementing.  ...  The schedulability analysis for real-time scheduling completely relies on the timing constraints specified in a job.  ... 
doi:10.3182/20080706-5-kr-1001.01592 fatcat:pgyn4y3ysrfl7lgrbczgs2cq24

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou
2015 Science of Computer Programming  
This paper presents a compositional framework for the modeling and analysis of hierarchical scheduling systems.  ...  The CPU frequencies, task behavior and scheduling policies used in each component are some of the reconfigurable parameters of the system.  ...  Modeling and Analysis using UPPAAL In this section we detail the actual Timed Automata models we used for the schedulability analysis of hierarchical scheduling systems.  ... 
doi:10.1016/j.scico.2015.10.003 fatcat:lynwm2ojwzdmbndgsus7j6lxvu

Implementing robot controllers under real-time POSIX and Ada

M. González Harbour, J. M. Drake Moyano, M. Aldea Rivas, J. García Fernández
1997 ACM SIGAda Ada Letters  
To meet all these requirements we not only need a reliable concurrent programming language such as Ada, but we also need to use services provided by real-time operating systems.  ...  In addition to the usual concurrent software and real-time constraints, today our robots require advanced features such as network communications, file systems, and graphical user interfaces.  ...  Need for a Real-Time Operating System Since we are using Ada that is a concurrent language which supports the concurrency, synchronization, scheduling and timing requirements of real-time applications,  ... 
doi:10.1145/271658.271700 fatcat:3w3n4337gfbjdas3dtlqqxmeba

Verification of COMDES-II Systems Using UPPAAL with Model Transformation

Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov
2008 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications  
It provides various kinds of component models to address critical domain-specific issues, such as real-time concurrency and communication in a timed multitasking environment, modal continuous operation  ...  In the paper we present a transformational approach to the formal verification of both timing and reactive behaviors of COMDES-II systems using UPPAAL, based on a semantic anchoring methodology.  ...  Timed automata in UPPAAL The theory of timed automata has proven to be useful for specification and verification of real-time systems.  ... 
doi:10.1109/rtcsa.2008.32 dblp:conf/rtcsa/KePSA08 fatcat:it3v7lx7inbbxgyutvmq6m5p2y

Embedded and Real-time Systems [chapter]

Edward L. Lamie
2019 Real-Time Embedded Multithreading Using ThreadX  
Heptagon is an experimental language for the implementation of embedded real-time reactive systems.  ...  We are driven by the ideal of a unique source code used both to program and simulate a wide variety of systems, including (1) embedded real-time controllers (e.g., fly-bywire, engine control); (2) computationally  ... 
doi:10.1201/9780429187575-1 fatcat:ngrbtza47bhrdmlrbn2xdhg5de

Integrated Distribution Management System: Architecture, Functions, and Application in China

Wenchuan Wu, Penghua Li, Bin Wang, Yingshang Liu, Tao Xu, Hongwei Du, Yan He
2022 Journal of Modern Power Systems and Clean Energy  
This system consists of three subsystems, including the real-time operation and control system (OCS), outage management system (OMS), and operator training simulator (OTS).  ...  As massive distributed energy resources (DERs) are integrated into distribution networks (DNs) and the distribution automation facilities are widely deployed, the DNs are evolving to active distribution  ...  It is mainly used for real-time control and online scheduling by operators. The required model and topology information are maintained in the GIS-based OMS.  ... 
doi:10.35833/mpce.2021.000600 fatcat:4mmaks7avzap5ltz72d43fgk5a
« Previous Showing results 1 — 15 out of 17,381 results