logo

Documents

 Home >> Downloads >> 04 - Case Studies >> Real-time
04 - Case Studies: Real-time ( 5 files)

Rice Cooker UML Case (Hits: 2064)
This paper describes a small embedded software system to control a Rice Cooker. The analysis uses UML notation. The paper was presented at the IWSM 2009
COSMIC Case Study - Valve Control System (Hits: 1333)
This case study concerns the software to control a valve in an automatic transmission system of a land vehicle. The requirements are taken from the ISO technical report: ISO/IEC TR 14143- 4 (Version 2000)
COSMIC Case Study Automatic Line Switch (Hits: 1164)
This case study concerns the requirements for a real-time system to switch between a Work Line and a Backup Line which are provided for a communication channel: The case is taken from the ISO technical report: ISO/IEC TR 14143-4 (Version 2000)
Rice Cooker (Hits: 1503)
Basis of the Rice Cooker UML Case
COSMIC analysis of a Speedometer (Hits: 731)
Temporarily removed for corrections

Page 1 of 1


 

.

 

 

Copyright (c) 2015, COSMIC. All rights reserved

Website design by Pentad-SE Ltd