Lars M. Kristensen, Jonathan Billington, Laure Petrucci  Home/Search
Context
Related
| lsv.enscachan.fr/Pu...KBPQKDASC02.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lsv.enscachan....blisy3all.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Airborne Mission System in military aircraft is a complex real time system consisting of a mission control computer, sensors, displays, controls, and data buses that provide interfaces between sub-systems. The complexity and real time requirements of Airborne Mission Systems represent major challenges to the Australian Defence Force during acquisition, upgrades, and maintenance. This has motivated research into the application of formal techniques to model the mission system architecture,... (Update)
Active bibliography (related documents): More All
1.1: Developing a Formal Specification for the Mission System of a.. - Petrucci, al. (2003) (Correct)
0.3: PARM: a Physically-Aware Reference Model for Overlay.. - Le, Hoang, Simmonds (2006) (Correct)
0.3: Parm: A Physically-Aware Reference Model For Peer-To-Peer.. - Le, Hoang, Simmonds (2006) (Correct)
Similar documents based on text: More All
1.8: Towards Formal Specification and Analysis of Avionics Mission.. - Petrucci, al. (2002) (Correct)
0.4: Joint Tactics, Techniques, and Procedures for Combat Search.. - Joint Pub March (Correct)
0.3: Renaissance Generic Architecture - Version Volume Of (Correct)
BibTeX entry: (Update)
@misc{ kristensen-formal,
author = "Lars M. Kristensen and Jonathan Billington and Laure Petrucci",
title = "Formal Specification And Analysis Of Airborne Mission Systems",
url = "citeseer.ist.psu.edu/537815.html" }
Citations (may not include all citations):85 Coloured Petri Nets (context) - Jensen - 1997
79 Elements of ML Programming (context) - Ullman - 1998
65 Real-Time Systems (context) - Liu - 2000
61 Software Architecture for Hard Real-Time Applications: Cycli.. (context) - Locke - 1992
53 Lectures on Petri Nets I: Basic Models (context) - Desel, Reisig - 1998
50 Scheduling a Steel Plant with Timed Automata - Fehnker - 1999
19 The Practitioner's Guide to Coloured Petri Nets - Kristensen, Christensen et al. - 1998
9 Generic Avionics Software Specification (context) - Locke, Vogel et al. - 1990
3 com/ Accessed 25 July (context) - Finder, www - 2002
2 Modelling and Schedulability of Real-Time Tasks with Timed A.. (context) - Sun - 2001
2 Digital Time Division Command/Control Multiplex Data Bus (context) - Notice - 1993
1 Towards Modelling and Verification of Concurrent Ada Program.. (context) - Burns, Wellings et al. - 2000
1 Modelling Military Airborne Mission Systems for Functional A.. (context) - Kristensen, Billington et al. - 2001
1 Mission Equipment Bus (context) - Bus, Specification et al. - 1996
1 An Application of Petri Net Reduction to Ada Tasking Deadloc.. (context) - Shatz, Tu et al. - 1996
1 cfm Accessed 25 July (context) - Organisation, Air et al. - 2002
1 Software Design Document for the Mission Computer Operationa.. (context) - RF-, Update - 1992
1 Rational Software Corporation (context) - Guide, ver - 1995
1 Specification and Validation of a Concurrent System: An Educ.. - Berthelot, Petrucci - 2001
1 Additional Budget Estimates -- Defence Portfolio (context) - Equipment, or et al. - 2001
1 The Royal Australian Air Force (context) - Australian, RAAF et al. - 2002
Documents on the same site (http://www.lsv.ens-cachan.fr/Publis/publis-y3-all.php): More
Randomized Finite-State Distributed Algorithms As Markov Chains - Duflot, al. (2001) (Correct)
Verification of Embedded Reactive Fiffo Systems - Herbreteau, Cassez, Finkel, al. (2002) (Correct)
A Kleene/Büchi-like Theorem for Clock Languages - Bouyer, Petit (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC