Loading...
Please wait, while we are loading the content...
Similar Documents
Formal specification and design of a simple real time kernel (1995).
| Content Provider | CiteSeerX |
|---|---|
| Author | Groenboom, Rix Tol, Ronald M. Saaman, Erik |
| Abstract | This paper shows how we can use a logical formalism, a formal specification language, to specify parts of a real-time kernel. The formalism is based on first order logic, without special features for real-time purposes. 1 Introduction This paper contains a formal specification of a simplified real-time kernel based on ARTIE (see below). For our specification of a real-time kernel we make a distinction between domain description, black box specification (only external behavior) and glass box specification (also internal behavior). This distinction is also made in the work done as part of the DETER-project at the Traffic Research Centre, see [SPB94]. The specification is written in AFSL, an experimental (almost) formal specification language, which is currently under development at the University of Groningen as part of the Formal System Analysis project (FSA). A real-time system can be seen as the combination of a kernel, a processing unit (often called task processor) and the environm... |
| File Format | |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Formal Specification Simple Real Time Kernel Real-time Kernel Formal Specification Language Internal Behavior Logical Formalism Domain Description Simplified Real-time Kernel External Behavior Processing Unit Task Processor Formal System Analysis Project Real-time Purpose Real-time System Glass Box Specification Traffic Research Centre Special Feature First Order Logic Black Box Specification |
| Content Type | Text |
| Resource Type | Article |
