![Page 1: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/1.jpg)
Deployment in the Space SectorProgress Report 22/09/2008
Timo Latvala
![Page 2: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/2.jpg)
2
Outline• Current Vision of Deployment Strategy• Training• Pilot Modelling• Tool Feedback• Management Issues• Conclusions
![Page 3: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/3.jpg)
3
STRATEGY
![Page 4: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/4.jpg)
4
Task vs time
![Page 5: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/5.jpg)
5
Tools and Modelling Dominate in the Beginning
0
10
20
30
40
50
60
70
80
90
100
Year 0 Year I Year II Year III Year IV
%
Integration
Process
Modelling
Tools
![Page 6: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/6.jpg)
6
Goals for Year I
• Learn B and use of Rodin• Contribution to JD1 (D5):
• Achievement of Training Goals• Requirements engineering: does it help us to write better requirements• Modelling approach• Suitability
• Complete first stages of pilot• Initial feed back to tools• Measurement goals
![Page 7: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/7.jpg)
7
Activities for M24 and later unclear
KEY QUESTIONS• Going from pilot to enhanced deployment• How to achieve integration with normal SW process?• The pilot deployment is critical for success
![Page 8: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/8.jpg)
8
TRAINING
![Page 9: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/9.jpg)
9
Training Goals Have Been Met
ACTIVITIES• Blocked Course in Zurich• Internal Training Arranged by Aabo• Mini-pilot modelling
Fast learning facilitated by FM experience in RAMS team
SW Engineers also have achieved basic understanding
![Page 10: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/10.jpg)
10
PILOT MODELLING
![Page 11: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/11.jpg)
11
Pilot Model Development
Mini-Pilot
BCServices
More complete BC model
Complexity
May October January 2009
![Page 12: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/12.jpg)
12
Pilot Continues...
PUS Services
Time
January 2009 May 2009December 2009
More CompleteBC model
Complete BC model
![Page 13: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/13.jpg)
13
The BepiColombo Environement
![Page 14: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/14.jpg)
14
Current Model Captures High-Level Features
•All instruments are modelled
•Focus on State machine features
•Basic TM/TC traffic
•FDIR is completely abstract
•Instrument HW is not modelled
•TC traffic is completey non-deterministic
![Page 15: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/15.jpg)
15
The most important invariants are relations between state machines
![Page 16: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/16.jpg)
16
White Paper Defines Modelling Approach
• Key Requirements have been identified• First step was to create granular global model• Next refined models of instruments were introduced
![Page 17: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/17.jpg)
17
Iterate and Compose
• Refined instrument models are composed with the global model after every step
• Smaller steps makes finding errors easier• Deviates somewhat from the approach in the White
Paper
![Page 18: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/18.jpg)
18
Conventions to Manage Complexity
• Naming conventions (global namespace)• Instruments are modelled separately first (lack of team
features)
![Page 19: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/19.jpg)
19
Next Target is November Plenary Meeting
• More complete TC/TM• Instrument HW• Fully composed model• Traceability in the model
![Page 20: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/20.jpg)
20
Feedback to Requirement Documents
• Initial instrument modes• Instrument mode transition• Management of house keeping data
Actual changes are still TBC
![Page 21: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/21.jpg)
21
TOOL FEEDBACK
![Page 22: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/22.jpg)
22
Rodin Platform is not Mature
0
10
20
30
40
Bug Reports Crashes Manualproofs
![Page 23: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/23.jpg)
23
Team Work is not Supported
• Model breaks easily breaks if two people work on the same development
• Composing models from different developments is difficult
![Page 24: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/24.jpg)
24
Lack of Modularity is a Show Stopper
• Managing complexity is challenging already hard for small models
• Modularity in the model is needed NOW• Development of larger models is infeasible without it
![Page 25: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/25.jpg)
25
Proof Management Still Needs Work
• Deafult tactics proove too little, enhanced tactics are too slow, even crash the tool
• Work around: enhanced tactics only for certain theorems works some times
• Automatic build is a mixed blessing• Training on advanced use could help (best practices)
![Page 26: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/26.jpg)
26
MANAGEMENT ISSUES
![Page 27: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/27.jpg)
27
SW Engineers involvement has decreased
0 %
50 %
100 %
Q1 Q2
Resource Utilisation
Other
BEPI
RAMS
![Page 28: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/28.jpg)
28
Partners: Aabo, Cetic, UNew, and Soton are active
ACTIVITIES• 1 Training with Aabo• 2 Planning Meetings with Aabo• Soton contributed a pilot model• UNew contributed a pilot model• Cetic has been arranging measurement
![Page 29: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/29.jpg)
29
Practical form of co-operation still unclear compared to resource allocation...
SSF
Aabo
Cetic
Unew
New ways of collaboration are needed!
![Page 30: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/30.jpg)
30
CONCLUSIONS & ACTIONS
![Page 31: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/31.jpg)
31
Complete Next Step of Pilot as Planned
• Pilot is in good shape• Modelling proceeding according to schedule
Add the planned features for the Plenary Meeting
![Page 32: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/32.jpg)
32
Bugs and Stability Issues Must Be Adressed
• Latest Version of Rodin released 11/3/2008• Response to bug reports is SLOW
More resources must be commited to tool maintenance
![Page 33: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/33.jpg)
33
Advanced Training Could Increase Modelling Efficiency
• Basic things are not a problem• Most issues related to manual proving and capturing
Arrange course on advanced topics
![Page 34: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/34.jpg)
34
New Features are Needed Urgently
• Team work is too hard• Complexity management is too hard• We still dislike the type system
New features should be implemented earlier!
![Page 35: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/35.jpg)
35
Partner Involvment Needs To Be Increased
• Collaboration is not very active at the moment• Partner contribution is vague and expectations are
unclear
New forms of collaboration and explicit plans should be defined
![Page 36: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/36.jpg)
36
Increase SW Engineering Involvment
• SW engineering team not very involved after initial training period
• We will pay for it later unless we act
Bi-weekly meetings with SW team on modelling
![Page 37: Deployment in the Space Sector Progress Report 22/09/2008 Timo Latvala](https://reader038.vdocuments.us/reader038/viewer/2022110322/56649d365503460f94a0eac1/html5/thumbnails/37.jpg)
37
Decided actions
• SSF to submit buggy models to BSCW to show crash problems
• SSF to submit models which show what issues should be covered at advanced course
• SSF to submit pilot model for comments and then suggest telecon date.
• SSF to start co-ordinating meetings with SW team on pilot model