Constructing Test Suites for Real-Time Embedded Systems Under Input Timing Constraints
نویسندگان
چکیده
منابع مشابه
Compositional Verification of Timing Constraints for Embedded Real-Time Systems
In real-time software, not only computation errors but also timing errors can cause system failures, which eventually result in significant physical damages or threats to human life. To efficiently guarantee the timely execution of expected functions, it is necessary to clearly specify and formally verify timing requirements before performing detailed system design. This paper proposes a compos...
متن کاملValidating Real-Time Constraints in Embedded Systems
ABSTRACT There is a growing demand for software tools that an assist in designing, analyzing and validating embedded real-time system appli ations. Validating real-time onstraints in embedded systems plays a major role in the development of reliable robust systems. Esterel a syn hronous languageis widely used in the development of embedded systems and hardware/software odesign. In this paper, w...
متن کاملIncremental Verification of Timing Constraints for Real-Time Systems
Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by counting the number of truth assignments instead of boolean satisfiability. This number can also tell us how “far away” is a given specification from satisfying its safety asserti...
متن کاملSoftware Peripherals – Requirements and Constraints for Real - Time Embedded Systems
In this paper we investigate the suitability of software peripheral usage in a real-time environment. By the term 'software peripheral' we refer to software modules that successfully emulate peripherals traditionally implemented in hardware. Software implementations offer great flexibility in product design and in functional upgrades, while they have high contribution in the cost/performance ra...
متن کاملTiming Analysis of Real-Time Embedded Systems using Model Checking
Modern real-time embedded systems are highly complex and distributed. Timing analysis of these systems is a challenging task. Model checking is increasingly being used for analyzing such systems. In this paper, we use timed automata based model checking for the timing analysis of distributed embedded systems with fixed priority preemptive tasks which exchange messages via communication buses wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2898009