This paper describes a computer vision system for the automatic extraction and velocity
measurement of moving leukocytes that adhere to microvessel walls from a sequence of …

This work suggests a method for systematically constructing a software-level environment
model for safety checking automotive operating systems by introducing a constraint …

Standards play the key role in safety-critical systems. Errors in standards could mislead
system developer's understanding and introduce bugs into system implementations. In this …

Abstract Verification and Validation (V&V) of small-scale embedded software must consider
the operating system. Unlike general-purpose systems, the underlying operating system is …

An automotive operating system is a safety-critical system that has a critical impact on the
safety of road vehicles. Safety verification is a must in each stage of software development in …

An operating system publishes a set of application programming interface (API) functions
along with a set of API-call constraints with which programs running on the operating system …

In automobile industry, it is a common approach to develop automobile real-time operating
systems under some standards. For instance, OSEK/VDX is a world-wide adopted open …

We present a model-based testing approach for reactive systems where both test inputs and
expected results are generated fromrestricted'Event-B specifications. We show that it is …

Operating systems for embedded software publish a set of API functions together with a set
of API-call constraints that have to be followed by application software running on the OS. If …

The automotive operating system is a typical safety-critical system that is tightly coupled with
the operational environment through system services. However, existing automated …