4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA...
-
Upload
camron-dennis -
Category
Documents
-
view
216 -
download
0
Transcript of 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA...
![Page 1: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/1.jpg)
4th SDL and MSC Workshop SAM’04 Ottawa
1st-4th June 2004
Alkiviadis YiannakouliasNTUA
![Page 2: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/2.jpg)
2
Presentation Layout
Design issues Top level system design Use of tool chain (SAFIRE)
Implementation Testing / Validation Documentation
Demonstration Summary
![Page 3: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/3.jpg)
3
Design issues
![Page 4: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/4.jpg)
4
Design issues (Contd.)
The door is allowed to be open for a maximum period, once the correct code is entered (Max_Open_Duration_Tmr).
An alarm is generated when the door is not closed within the allowed time.
Time to open or close the door has a maximum value (Transition_Tmr).
Solenoid aborts releasing of lock procedure if door is not moving within the allowed time (Guard_Tmr).
![Page 5: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/5.jpg)
5
Design issues (Contd.)
Time is always displayed in the console. ACS Commands:
Stay Open: Allow door to be open for longer. Information needed:
Time (HH:MM), Access Code
Close Now: 15 seconds to close door Supervisor mode
![Page 6: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/6.jpg)
6
Supervisor Mode Commands
1. Double-check safety procedure,2. Change supervisor code,3. Statistics for:
#Times door open outside, #Times door open inside, When was last opened and how long
4. Set time,5. Exit.
![Page 7: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/7.jpg)
7
Design issues (Contd.)
Use of query mechanism to get door state, for controller state transitions Reduce number of states Data Hiding
Reset procedure initializes configuration parameters and ACK completion Improve testability
![Page 8: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/8.jpg)
8
ACS_PTKeypad_G Motor_G
Micro_Switch_GDoor_G
Door_BT
![Page 9: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/9.jpg)
9
Top-Level Design
DOOR_BT
![Page 10: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/10.jpg)
10
Top-Level Design
![Page 11: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/11.jpg)
11
Solenoid Process
![Page 12: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/12.jpg)
12
ACS Process
![Page 13: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/13.jpg)
13
ACS Process (Contd.)
![Page 14: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/14.jpg)
14
Door Process
![Page 15: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/15.jpg)
15
Design summary
Clear organization Hierarchical structure Data hiding Use of types
Reuse of design information Simple language elements
![Page 16: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/16.jpg)
Documentation of Test Harness
![Page 17: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/17.jpg)
17
Test harness (UI)
![Page 18: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/18.jpg)
18
Test harness (SIM)
![Page 19: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/19.jpg)
Documentation of Test Suite / Test Purposes
![Page 20: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/20.jpg)
20
Test Case Sample (Door_Opening_TC)
![Page 21: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/21.jpg)
21
Test Case Sample (Contd.)
![Page 22: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/22.jpg)
Test Report
![Page 23: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/23.jpg)
23
Test Report
![Page 24: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/24.jpg)
System Execution Trace
![Page 25: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/25.jpg)
25
Summary of results
All test scenarios executed (PASS) Test coverage
All main transitions: timeouts and normal behavior
Each transition has been tested independently Assumes no interaction between
transitions (reasonable as no global variables)
![Page 26: 4 th SDL and MSC Workshop SAM’04 Ottawa 1st-4th June 2004 Alkiviadis Yiannakoulias NTUA ayian@telecom.ece.ntua.gr.](https://reader035.fdocuments.net/reader035/viewer/2022070414/5697c0251a28abf838cd5639/html5/thumbnails/26.jpg)
26
Conclusions
Maximum usage of tool chain has minimized the effort for: Design, Testing, Documentation
Interesting challenge on how to keep design simple and use all the tool features to maximize automation