Volume 5, Issue 2 | Innovations in Systems and Software Engineering

Search all Innovations in Systems and Software Engineering articles

Volume 5, Issue 2

June 2009

Real-Time Safety-Critical Systems

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Special section on real-time safety-critical systems
Janusz Zalewski
Editorial 05 May 2009 Pages: 95 - 96
A safety shell for UML-RT projects structure and methods of the corresponding UML pattern
Roman Gumzej
Wolfgang A. Halang
Original Paper 13 May 2009 Pages: 97 - 105
Adaptive reflex autonomicity for real-time systems
Roy Sterritt
Mike Hinchey
Research Paper 16 June 2009 Pages: 107 - 115
A development methodology for embedded systems based on RT-DEVS
Angelo Furfaro
Libero Nigro
Original Paper 05 May 2009 Pages: 117 - 127
Modeling selected real-time database concurrency control protocols in Uppaal
Martin Kot
Original Paper 05 May 2009 Pages: 129 - 138
A formal model of composing components: the TLA⁺ approach
Ondrej Rysavy
Jaroslav Rab
Original Paper 18 May 2009 Pages: 139 - 148
Certification of software for real-time safety-critical systems: state of the art
Andrew Kornecki
Janusz Zalewski
Original Paper 02 June 2009 Pages: 149 - 161