Loading...
Please wait, while we are loading the content...
Similar Documents
A practical approach to implementing real-time semantics
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Bhat, Girish Cleaveland, Rance Luettgen, Gerald |
| Copyright Year | 1999 |
| Description | This paper investigates implementations of process algebras which are suitable for modeling concurrent real-time systems. It suggests an approach for efficiently implementing real-time semantics using dynamic priorities. For this purpose a proces algebra with dynamic priority is defined, whose semantics corresponds one-to-one to traditional real-time semantics. The advantage of the dynamic-priority approach is that it drastically reduces the state-space sizes of the systems in question while preserving all properties of their functional and real-time behavior. The utility of the technique is demonstrated by a case study which deals with the formal modeling and verification of the SCSI-2 bus-protocol. The case study is carried out in the Concurrency Workbench of North Carolina, an automated verification tool in which the process algebra with dynamic priority is implemented. It turns out that the state space of the bus-protocol model is about an order of magnitude smaller than the one resulting from real-time semantics. The accuracy of the model is proved by applying model checking for verifying several mandatory properties of the bus protocol. |
| File Size | 1728362 |
| Page Count | 32 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19990021369 |
| Archival Resource Key | ark:/13960/t3jx39n08 |
| Language | English |
| Publisher Date | 1999-01-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Priorities Accuracy Protocol Computers Algebra Semantics Ferry Spacecraft Aerospace Systems Program Verification Computers Real Time Operation Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
