An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints

2008 ◽  
Author(s):  
Eduardo Tavares ◽  
Bruno Silva ◽  
Paulo Maciel
Keyword(s):  
Embedded Systems ◽  
Energy Constraints ◽  
Time Critical

scholarly journals Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper

2020 ◽  
Vol 10 (9) ◽  
pp. 3125
Author(s):  
Saad Mubeen ◽  
Elena Lisova ◽  
Aneta Vulgarakis Feljan
Keyword(s):  
Embedded Systems ◽  
Cyber Physical Systems ◽  
Position Paper ◽  
Technological Advancement ◽  
Functional Safety ◽  
Physical Systems ◽  
Safety Critical ◽  
Secure Embedded Systems ◽  
Time Critical ◽  
Networking Technology

Cyber Physical Systems (CPSs) are systems that are developed by seamlessly integrating computational algorithms and physical components, and they are a result of the technological advancement in the embedded systems and distributed systems domains, as well as the availability of sophisticated networking technology. Many industrial CPSs are subject to timing predictability, security and functional safety requirements, due to which the developers of these systems are required to verify these requirements during the their development. This position paper starts by exploring the state of the art with respect to developing timing predictable and secure embedded systems. Thereafter, the paper extends the discussion to time-critical and secure CPSs and highlights the key issues that are faced when verifying the timing predictability requirements during the development of these systems. In this context, the paper takes the position to advocate paramount importance of security as a prerequisite for timing predictability, as well as both security and timing predictability as prerequisites for functional safety. Moreover, the paper identifies the gaps in the existing frameworks and techniques for the development of time- and safety-critical CPSs and describes our viewpoint on ensuring timing predictability and security in these systems. Finally, the paper emphasises the opportunities that artificial intelligence can provide in the development of these systems.

A METHODOLOGY AND SUPPORT TOOLS FOR ANALYSIS OF REAL-TIME SPECIFICATIONS

1996 ◽  
Vol 06 (03) ◽  
pp. 401-426 ◽  
Author(s):  
DOUGLAS A. STUART ◽  
ALOYSIUS K. MOK ◽  
FARNAM JAHANIAN
Keyword(s):  
Embedded Systems ◽  
Naval Research ◽  
Critical Systems ◽  
System Specification ◽  
Development Environment ◽  
Prototype Development ◽  
Support Tools ◽  
System Requirements ◽  
Time Critical ◽  
Verification Methodology

As software control of time-critical functions in embedded systems becomes more common, a means for the precise specification of their behavior and formal methods for analyzing system requirements become increasingly important. Modechart is a graphical specification language introduced to meet this need. The main focus of this paper is on methods and supporting tools for representing and reasoning about properties of time-critical systems specified in Modechart. The paper describes a verification methodology which takes advantage of the structuring inherent in a Modechart specification to determine whether a system specification satisfies the required properties. The paper also describes the implementation of a mechanical verifier, based on the proposed approach, which has been recently integrated as part of the Modechart Toolset prototype development environment from the Naval Research Lab [7].

Power saving and fault-tolerance in real-time critical embedded systems

2009 ◽  
Vol 55 (2) ◽  
pp. 90-101 ◽  
Author(s):  
Rodrigo M. Santos ◽  
Jorge Santos ◽  
Javier D. Orozco
Keyword(s):  
Fault Tolerance ◽  
Embedded Systems ◽  
Real Time ◽  
Power Saving ◽  
Time Critical

Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems

2009 ◽  
Vol 28 (7) ◽  
pp. 966-978 ◽  
Author(s):  
R. Wilhelm ◽  
D. Grund ◽  
J. Reineke ◽  
M. Schlickling ◽  
M. Pister ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Memory Hierarchies ◽  
Time Critical

A design framework for real-time embedded systems with code size and energy constraints

2008 ◽  
Vol 7 (2) ◽  
pp. 1-27 ◽  
Author(s):  
Sheayun Lee ◽  
Insik Shin ◽  
Woonseok Kim ◽  
Insup Lee ◽  
Sang Lyul Min
Keyword(s):  
Embedded Systems ◽  
Real Time ◽  
Design Framework ◽  
Code Size ◽  
Energy Constraints

Embedded systems for time–critical applications over Wi-Fi: design and experimental assessment

2019 ◽  
Author(s):  
Francesco Branz ◽  
Riccardo Antonello ◽  
Federico Tramarin ◽  
Tommaso Fedullo ◽  
Stefano Vitturi ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Experimental Assessment ◽  
Time Critical

Formal Verification of Embedded Systems Using the Alvis Approach

2011 ◽  
Vol 486 ◽  
pp. 209-212
Author(s):  
Leszek Kotulski ◽  
Marcin Szpyrka
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Formal Verification ◽  
System Software ◽  
Formal Representation ◽  
System Behavior ◽  
Time Critical

Embedded systems are usually characterized by time-critical reactions and increased complexity. Because it is usually impossible to correct a system bug by simply uploading of a new version of a system software or firmware, a system behavior should be verified in a formal manner. The Alvis approach presented in this paper is able to verify the system behavior, by specifying the border between a developed embedded system and its environment. The means to move the border is then proposed, which allows the designer to create a formal representation for selected parts of a model only.

Sign in / Sign up

Export Citation Format

Share Document