Specifying the mode logic of a flight guidance system in CoRE and SCR

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Specifying the mode logic of a flight guidance system in CoRE and SCR

Full text

Pdf (1.12 MB)

Source

Formal Methods in Software Practice archive
Proceedings of the second workshop on Formal methods in software practice table of contents

Clearwater Beach, Florida, United States

Pages: 44 - 53

Year of Publication: 1998

ISBN:0-89791-954-8

Author

Steven P. Miller

Rockwell Collins, Inc., Cedar Rapids, IA

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 44, Citation Count: 14

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/298595.298856 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Joan J. Britt. Case study: Applying formal methods to the traffic alert and collision avoidance system (TCAS) H. In Ninth Annual Conference on ComputerAssurance, pages 39-52, Gaithersburg, MD, June 1994.
	2	Stuart Faulk , John Brackett , Paul Ward , James Kirby, Jr., The Core Method for Real-Time Requirements, IEEE Software, v.9 n.5, p.22-33, September 1992 [doi>10.1109/52.156894]
	3	Stuart R. Faulk, Lisa Finneran, James Kirby, and Assad Moini. Consortium requirements engineering guidebook. Technical Report SPC-92060-CMC, Software Productivity Consortium, 2214 Rock Hill Road, Hemdon, VA 22070, December 1993.
	4	Stuart R. Faulk, Lisa Finneran, James Kirby, Sudhir Shah, and James Sutton. Experience applying the CoRE method to the Lockheed C-130J software requirements. In Ninth Annual Conference on Computer Assurance, pages 3--8, Gaithersburg, MD, June 1994.
	5	David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
	6	D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. On the formal semantics of Statecharts. In 2nd IEEE Symposium on Logic in Computer Science, pages 54- 64, 1987.
	7	David Harel , Amnon Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.4, p.293-333, Oct. 1996 [doi>10.1145/235321.235322]
	8	Constance Heitmeyer, Alan Bull, Carolyn Gasarch, and Bruce Labaw. SCR*: A toolset for specifying and analyzing requirements. In Tenth International Conference on Computer Assurance, pages 109-122, Gaithersburg, MA, June 1995.
	9	Constance L. Heitmeyer , Ralph D. Jeffords , Bruce G. Labaw, Automated consistency checking of requirements specifications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.3, p.231-261, July 1996 [doi>10.1145/234426.234431]
	10	Constance L. Heitmeyer, James Kirby, and Bruce G. Labaw. Tools for formal specification, verification, and validation of requirements. In Twelveth Annual Conference on Computer Assurance, Gaithersburg, MD, June 1997.
	11	K. Heninger. Specifying software requirements for complex systems: New techniques and their applicalions. IEEE Transactions on Software Engineering, SE- 12(1):2-12, January 1980.
	12	David Hughes and Michael Domheim. Automated cockpits: Who's in charge?: Parts I & H. Aviation Week & Space Technology, January 30-Fe~~ 6, 1995.
	13	Leslie Lampon. LaTeX User's Guide & Reference Manual. Addison-Wesley Publishing Company, Inc., Reading, Massachusetts, 1986.
	14	Nancy G. Leveson , Mats Per Erik Heimdahl , Holly Hildreth , Jon D. Reese, Requirements Specification for Process-Control Systems, IEEE Transactions on Software Engineering, v.20 n.9, p.684-707, September 1994 [doi>10.1109/32.317428]
	15	Steven P. Miller and Karl E Hoech. Specifying the mode logic of a flight guidance system in CORE. Technical Report WP97-2011, Rockwell Avionics & Communications, Information Center, 400 Collins Road NE, Cedar Rapids, IA 52498, August 1997.
	16	C. R. Nobe , W. E. Warner, Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts, Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96), p.86, April 15-18, 1996
	17	David L. Parnas and jan Madey. Functional documentation for computer systems engineering (volume 2). Technical Report CRL 237, McMaster University, Hamilton, Ontario, September 1991.
	18	A.J. van Schouwen. The A-7 requirements model: Reexamination for real-time systems and an application to monitoring systems. Technical Report 90-276, Queen's University, Hamilton, Ontario, 1990.
	19	Michael von der Beeck, A Comparison of Statecharts Variants, Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.128-148, September 19-23, 1994

CITED BY 14

	Constance Heitmeyer, Using SCR to specify requirements of the BART advanced automated train control system, High integrity software, Kluwer Academic Publishers, Norwell, MA, 2001
	Constance Heitmeyer , James Kirby , Bruce Labaw, Applying the SCR requirements method to a weapons control panel: an experience report, Proceedings of the second workshop on Formal methods in software practice, p.92-102, March 04-05, 1998, Clearwater Beach, Florida, United States
	Robyn R. Lutz, Software engineering for safety: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.213-226, June 04-11, 2000, Limerick, Ireland
	Angelo Gargantini , Constance Heitmeyer, Using model checking to generate tests from requirements specifications, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.146-162, Nov. 1999
	Elizabeth I. Leonard , Constance L. Heitmeyer, Program Synthesis from Formal Requirements Specifications Using APTS, Higher-Order and Symbolic Computation, v.16 n.1-2, p.63-92, March-June 2003
	Robyn R. Lutz, Toward safe reuse of product family specifications, Proceedings of the 1999 symposium on Software reusability, p.17-26, May 21-23, 1999, Los Angeles, California, United States
	Daniel Hoffman , Paul Strooper, API documentation with executable examples, Journal of Systems and Software, v.66 n.2, p.143-156, 15 May 2003
	Constance Heitmeyer , James Kirby, Jr. , Bruce Labaw , Myla Archer , Ramesh Bharadwaj, Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications, IEEE Transactions on Software Engineering, v.24 n.11, p.927-948, November 1998
	Qian Wang , Gopal Gupta, Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Colin Fidge , Tim McComb, Tracing secure information flow through mode changes, Proceedings of the 29th Australasian Computer Science Conference, p.303-310, January 16-19, 2006, Hobart, Australia
	Tom Rothamel , Yanhong A. Liu , Constance L. Heitmeyer , Elizabeth I. Leonard, Generating optimized code from SCR specifications, ACM SIGPLAN Notices, v.41 n.7, July 2006
	Gerald Lüttgen , Walter Vogler, Conjunction on processes: Full abstraction via ready-tree semantics, Theoretical Computer Science, v.373 n.1-2, p.19-40, March, 2007
	Ramesh Bharadwaj , Constance L. Heitmeyer, Model Checking Complete Requirements Specifications Using Abstraction, Automated Software Engineering, v.6 n.1, p.37-68, January 1999
	Myla Archer, TAME: Using PVS strategies for special-purpose theorem proving, Annals of Mathematics and Artificial Intelligence, v.29 n.1-4, p.139-181, 2000