Items where Subject is "Industrial Deployment > Space"

Varpaaniemi, Kimmo (2012) Some NuSMV Experiments on the Mode Synchronization Protocol in DSAOCSS. Space Systems Finland Ltd. (Unpublished)

Tarasyuk, Anton and Pereverzeva, Inna and Troubitsyna, Elena and Latvala, Timo and Nummila, Laura (2012) Formal development and assessment of a reconfigurable on-board satellite system. In: The 31th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), Magdeburg, Germany. (In Press)

Varpaaniemi, Kimmo (2011) DEPLOY Work Package 3 Software Requirements Document for a Distributed System for Attitude and Orbit Control for a Single Spacecraft (DEP-RP-SSF-R-006, Issue 1.3). Documentation. Space Systems Finland Ltd. (Unpublished)

Varpaaniemi, Kimmo (2011) Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic. [Rodin Archive]

Fathabadi, Asieh Salehi and Rezazadeh, Abdolbaghi and Butler, Michael (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. In: THIRD NASA FORMAL METHODS SYMPOSIUM. (In Press)

Prokhorova, Yuliya and Laibinis, Linas and Troubitsyna, Elena and Varpaaniemi, Kimmo and Latvala, Timo (2011) Derivation and Formal Verification of a Mode Logic for Layered Control Systems. In: The 18th Asia-Pacific Software Engineering Conference (APSEC 2011), Ho Chi Minh, Vietnam.

Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Varpaaniemi, Kimmo and Latvala, Timo (2011) Deriving Mode Logic for Fault-Tolerant Control Systems. In: NODES Workshop (associated with the 5th IFIP International Conference on Trust Management (IFIPTM 2011)), Copenhagen, Denmark.

Varpaaniemi, Kimmo (2010) DEPLOY Work Package 3 Attitude and Orbit Control System Software Requirements Document (DEP-RP-SSF-R-005, Issue 1.0). Documentation. Space Systems Finland Ltd. (Unpublished)

Räsänen, Tuomas and Nummila, Laura (2010) DEPLOY Training Evaluation Document. Technical Report. Space Systems Finland Ltd. (Unpublished)

Varpaaniemi, Kimmo (2010) Event-B Project BepiColombo_Models_v6.4. [Rodin Archive]

Olszewska, Marta and Sere, Kaisa (2010) Specification Metrics for Event-B Developments. In: CONQUEST 2010, 20-22 September 2010, Dresden, Germany.

Varpaaniemi, Kimmo (2010) Event-B Project DepSatSpec015Model000. [Rodin Archive]

Väisänen, Pauli and Varpaaniemi, Kimmo (2010) DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15. Space Systems Finland Ltd. (Unpublished)

Väisänen, Pauli and Varpaaniemi, Kimmo (2010) DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15 without statement numbering. Space Systems Finland Ltd. (Unpublished)

Olszewska, Marta and Sere, Kaisa (2010) Towards Event-B Specification Metrics. In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France.

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo (2010) Developing Mode-Rich Satellite Software by Refinement in Event B. In: 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010), September 20-21, 2010, Antwerp, Belgium. (In Press)

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo (2010) Supporting Reuse in Event B Development: Modularisation Approach. In: Abstract State Machines (ASM), Alloy, B and Z Conference (ABZ 2010), February 22-25, 2010, Orford, Québec, Canada.

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Väisänen, Pauli and Ilic, Dubravka and Latvala, Timo (2010) Verifying Mode Consistency for On-Board Satellite Software. In: The 29th International Conference on Computer Safety, Reliability and Security (Safecomp 2010), 14 - 17 September 2010, Vienna, Austria.

Laibinis, Linas and Troubitsyna, Elena (2009) Event-B Project Modes_v2. [Rodin Archive]

Ilic, Dubravka and Varpaaniemi, Kimmo (2009) Event-B Project BepiColombo_Models_v5.0. [Rodin Archive]

Varpaaniemi, Kimmo (2008) Problems in using RODIN platform in DEPLOY WP3. Discussion Paper. N/A. (Unpublished)

Latvala, Timo (2008) Deployment in the Space Sector (WP3 Meeting in Newcastle). N/A. (Unpublished)

Ilic, Dubravka and Varpaaniemi, Kimmo (2008) RODIN platform archive of SSF pilot (by SSF). [Rodin Archive]

Ilic, Dubravka and Latvala, Timo and Varpaaniemi, Kimmo (2008) BepiColombo - Modelling Approach (Issue I). N/A. (Unpublished)

Langbacka, Thomas (2008) A Description of a Smallish Part of the BepiColombo (BC) MIXS/SIXS Onboard Instrument SW. Documentation. N/A. (Unpublished)

Latvala, Timo (2008) Deployment in the Space Sector (Slides for DEPLOY Newcastle Kick-off Meeting). N/A. (Unpublished)

Butler, Michael (2008) UML-B Version of SSF Mini-pilot. [Rodin Archive]

Ilic, Dubravka and Varpaaniemi, Kimmo Event-B Models BepiColombo pilot (by SSF). [Rodin Archive]

Iliasov, Alexei Event-B Project SSF Mini-pilot. [Rodin Archive]

Laibinis, Linas and Troubitsyna, Elena Event-B Project SSF Mini-pilot (Aabo). [Rodin Archive]

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Alexander, Romanovsky Formal Development of the BepiColombo Pilot. In: DEPLOY Planery Meeting, November 2008, Turku. (Unpublished)

Laibinis, Linas New Event-B Project for SSF Pilot. [Rodin Archive] (Unpublished)

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo Supporting Reuse in Event B Development: Modularisation Approach. Aabo Akademi, Finland. (Unpublished)

Laibinis, Linas and Troubitsyna, Elena Training material: A Simple Lyra Project. [Rodin Archive]