Workshop on Real Time Safety-Critical Software (RTSCS ’06)
Time: Wednesday, November the 8th 2006
Organizers:
Andrew J. Kornecki,
Wojciech Grega,
Janusz Zalewski,
Theme:
The workshop will discuss issues related to the specification, design, implementation, testing, and use of modern computer systems. It will address dependability, time constraints, fault-tolerance, and interfacing with the environment, reliability and safety as components of the software development process.
The following eight papers have been selected for presentation at the RTSCS'06 Workshop:
- Automated Code Generation for Safety-Related Applications: A Case Study
- Code Generation for CSM/ECSM Models in COSMA Environment
- EMLAN: a Framework for Model Checking of Reactive Systems Software
- FPGA as a Part of MS Windows Control Environment • Hardware and Software Architectures for Reconfigurable Time-Critical Control Tasks
- Numerical Assessment of Software Development Tools in Real-Time Safety-Critical Systems using Bayesian Belief Networks
- RT-UML in Modeling of Multimedia Applications
- Task-Oriented Real-Time Execution without Asynchronous Interrupts Combined with Runtime State Restoration
Three alternate papers (presentation possible if time permits – TBD):
- Monitoring of real-time processes in Linux
- Experimental dependability evaluation of memory manager in the real-time operating system
- Timed Concurrent State Machines
Time and audience permitting, the workshop will include a brief open discussion: “What is the place of real-time and safety topics in the university computing curricula?”
Language: English
Please encourage your colleagues to attend.
|
