Model Integration for Formal Qualification of Timing‐Aware Software Data Acquisition Components
Jean‐Philippe Babau, Philippe Dhaussy, Pierre-Yves Pillain · 2013
In the process control domain, reusable software components are classically execution services provided by a Real-Time Operating System respecting standards such as OSEK or POSIX remote communication services and device drivers. This chapter considers sensor drivers, that is to say the software data acquisition part of process control systems. The purpose of a software data acquisition driver is to provide a well adapted interface between the physical sensors and the applications. The chapter first presents data acquisition system modeling illustrated by case studies, IF modeling for concurrent application behaviour modeling, CDL models and timing characteristic observers. It presents how to use CDL to describe the parameterization of a data acquisition driver's usage. Then, it shows how to use a timing evaluation tool for different implementations and contexts of a case study. Controlled Vocabulary Terms computerised instrumentation; operating systems (computers); sensors