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 …

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 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 …

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 …

We present a background constraint checker that helps to detect constraint violations
regarding API call sequences in automotive software development. Our tool traces API call …

An automotive control system is a typical safety-critical embedded software, which requires
extensive verification and validation (V&V) activities. This article introduces a toolset for …

안전 필수 시스템 (Safety-critical system) 중 하나인 차량 전장용 운영체제의 엄밀한 검증을
위하여 모델 기반 테스트 생성기법들이 연구되어 왔다. 그러나 기존의 연구들은 이러한 차량 …

Automotive control software can be a source of critical safety issues when developers do not
comply system constraints. However, a violation is difficult to identify in complicated source …