A Formal Approach to Specifying and Verifying Spacecraft Behavior

A Formal Approach to Specifying and Verifying Spacecraft Behavior (2007)

Cached

Download Links

[www.ece.usu.edu]

by Allan I. S. Mcinnes

Citations:

2 - 0 self

BibTeX

@TECHREPORT{Mcinnes07aformal,
    author = {Allan I. S. Mcinnes},
    title = {A Formal Approach to Specifying and Verifying Spacecraft Behavior},
    institution = {},
    year = {2007}
}

Bookmark

OpenURL

Abstract

Citations

3118	Communicating sequential processes - Hoare - 1978
1962	Statecharts: A visual formalism for complex systems - Harel - 1987
1130	The model checker SPIN - Holzmann - 1997
1008	A Model of Concurrent Computation in Distributed Systems - Agha - 1986
575	Model Checking and Abstraction - Clarke, Grumberg, et al. - 1994
548	Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR - Lowe
458	Programming from Specifications - Morgan - 1994
437	M.R.: An Introduction to Input/Output Automata - Lynch, Tuttle - 1989
390	W.: Supervisory control of a class of discrete event processes - Ramadge, Wonham - 1987
388	Model checking programs - Visser, Havelund, et al.
331	Process algebra for synchronous communication - Bergstra, Klop - 1984
315	Basic concepts and taxonomy of dependable and secure computing - Avizienis, Laprie, et al.
258	AFormal Approach to Software Architecture - Allen - 1997
238	Introduction to Automata Theory - Hopcroft, Ullman - 1979
202	Requirements Specifications for ProcessControl Systems - Leveson, Heimdahl, et al. - 1994
103	Concurrent and real-time systems: The CSP approach - Schneider - 1999
95	An International Survey of Industrial Applications of Formal Methods - Craigen, Gerhart, et al. - 1993
81	What engineers know and how they know it: Analytical studies from aeronautical history. The Johns Hopkins - Vincenti - 1990
78	Specifying Systems - Lamport - 2002
68	CADP – a protocol validation and verification toolbox - Fernandez, Garavel, et al. - 1997
66	Formal Analysis of a Space Craft Controller using SPIN - Havelund, Lowry, et al. - 1998
59	The Modelling and Analysis of Security Protocols: the CSP Approach - Ryan, Schneider, et al. - 2001
56	A Semantic Study of Data Independence with Applications to Model Checking - Lazic - 1999
51	Space Mission Analysis and Design - Wertz, Larson - 1999
50	Specification Styles in Distributed Systems Design and Verification," in "Theoretical Computer Science '89", North-Holland - Vissers, Scollo, et al. - 1991
48	Chapman R (2002) Correctness by construction: developing a commercial secure system - Hall
47	Experiences Using Lightweight Formal Methods for Requirements Modeling - Easterbrook, Lutz, et al. - 1998
38	A methodology for specifying and analyzing consistency of object-oriented behavioral models," presented at Proceedings of the 8th European software engineering conference - Engels, Küster, et al. - 2001
35	A brief history of process algebra - Baeten - 2005
35	Functional Specification of Time-Sensitive Communicating Systems - Broy - 1993
32	Business Process Management: The Third Wave - Smith, Fingar - 2003
23	Process algebra for hybrid systems - Bergstra, Middleburg - 2005
22	W.: Uppaal - Present and Future - Behrmann, David, et al. - 2001
21	Analysing a stream authentication protocol using model checking - Broadfoot, Lowe - 2002
19	Test automation of safety-critical reactive systems - Peleska, Siegel - 1997
18	Deadlock Analysis for a Fault-Tolerant System - Buth, Kouvaras, et al. - 1997
17	Graphical modeling language for specifying concurrency based on CSP - Hilderink - 2003
17	Engineering Complex Systems with Models and Objects - Oliver, Kelliber, et al. - 1997
16	Combining Methods for the Livelock Analysis of a Fault-Tolerant System - Buth, Peleska, et al. - 1999
16	Function-BehaviourStructure paths and their role in analogy-based design - Gero - 1996
15	J.B.: Hierarchical Compression for Model-Checking CSP or How to Check 10 20 Dining Philosophers for Deadlock - Roscoe, Gardiner, et al. - 1995
14	Discrete Analysis of Continuous Behaviour in Real-Time Concurrent Systems - Ouaknine
11	Why engineers should consider formal methods - Holloway - 1997
10	A CSP view on UML-RT structure diagrams - Fischer, Olderog, et al. - 2001
10	Formal analysis of concurrent Java systems - Welch, Martin - 2000
9	Model-Based Systems Engineering: An Introduction to the Mathematical Theory of Discrete Systems and to the Tricotyledon Theory of System Design, ser. Systems Engineering Series. Boca Raton, FL - Wymore - 1993
9	Spacecraft dynamics and control: A practical engineering approach - Sidi - 1997
9	The Design and Construction of Deadlock-Free Concurrent Systems - Martin - 1996
9	An Introduction for Object-Oriented Designers - Lea, Alexander - 1994
8	Model-Checking for Validation of a Fault Protection System - Feather, Fickas, et al.