Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Application of Model Based Functional Specification Methods to Environmental Control Systems Engineering

Journal Article
2011-01-2504
ISSN: 1946-3855, e-ISSN: 1946-3901
DOI: https://doi.org/10.4271/2011-01-2504
Published October 18, 2011 by SAE International in United States
Application of Model Based Functional Specification Methods to Environmental Control Systems Engineering
Sector:
Citation: Becker, C. and Giese, T., "Application of Model Based Functional Specification Methods to Environmental Control Systems Engineering," SAE Int. J. Aerosp. 4(2):637-651, 2011, https://doi.org/10.4271/2011-01-2504.
Language: English

References

  1. EASA - European Aviation Safety Agency www.easa.europa.eu
  2. FAA - Federal Aviation Administration www.faa.gov
  3. ISO - International Organization for Standardization www.iso.org
  4. INCOSE - International Council on Systems Engineering www.incose.org
  5. IEEE - The Institute of Electronics and Electrical Engineers www.ieee.org
  6. RTCA - Radio Technical Commission for Aeronautics www.rtca.org
  7. SAE International Aerospace Recommended Practice “Guidelines for Development of Civil Aircraft and Systems,” SAE Standard ARP4754A Dec. 2011
  8. ATA - Air Transport Association of America, Inc. www.airlines.org
  9. Brajou, F. Ricco, P. “The Airbus A380 - An AFDX-based Flight Test Computer Concept” Proc. of IEEE AUTOTESTCON, IEEE 2004
  10. Cassandros, C.G. Lafortune, S. “Introduction to Discrete Event Systems” 2 nd Springer 2008
  11. Forsberg, K. Mooz, H. “The Relationship of Systems Engineering to the Project Cycle” First Annual Symposium of the National Council On Systems Engineering (INCOSE) Oct. 1991
  12. Stevens, R. Brook, P. Jackson, K. Arnold, S. “Systems Engineering - Coping with Complexity” Prentice Hall Europe 1998
  13. IBM® Rational® DOORS® http://www-01.ibm.com/software/awdtools/doors/
  14. Yanik, P. “Migration from Simulation to Verification with Modelsim” EDA Tech Forum Newton MA 2004
  15. INCOSE “Systems Engineering Vision 2020” INCOSE-TP-2004-004-02 Sept. 2007
  16. Estefan, J. A. “Survey of Model-Based Systems Engineering (MBSE) Methodologies” INCOSE MBSE Focus Group May 2007
  17. MBSE www.omgwiki.org/MBSE/doku.php
  18. IBM® Rational® Rhapsody® http://www-01.ibm.com/software/awdtools/rhapsody/
  19. MATLAB®/SIMULINK® www.mathworks.com
  20. Hause, M. “The SysML Modelling Language” Fifth European Systems Engineering Conference Sept. 2006
  21. OMG “OMG Systems Modeling Language (OMG SysML™) Standard Specification” www.omg.org/spec/SysML/1.2/
  22. OMG SysMl - Object Management Group, Inc. Systems Modeling Language www.omgsysml.org
  23. Liston, P. e.a. “An Evaluation of SysML to Support Simulation Modeling” “Conceptual Modeling for Discrete-Event Simulation” Robinson, St. e.a. CRC Press Boca Raton, Florida 2011
  24. Huang, E. Ramamurthy, R. McGinnis, L.F. “System and Simulation Modeling Using SysML” IEEE Proc. of the 2007 Winter Simulation Conference IEEE 2007
  25. Jarraya, Y. Debbabi, M. Bentahar, J. “On the Meaning of SysML Activity Diagrams” Proc. of 16 th Annual IEEE Conference and Workshop on the Engineering of Computer Based Systems IEEE 2009
  26. “Flow chart” http://en.wikipedia.org/wiki/Flow_chart
  27. Bohl, M. Rynn, M. “Tools for Structured and Object-Oriented Design” Prentice Hall 2007
  28. “Glossary of Key Terms” 20 July 2008 http://highered.mcgrawhill.com/sites/0077110005/student_view0/glossary.html
  29. Harel, D. “Statecharts: A visual formalism for complex systems” Science of Computer Programming 8 3 231 274 Elsevier Science Publishers B.V. June 1987
  30. Wing, J.M. “A Specifier's Introduction to Formal Methods” IEEE Computer 23 9 Sept. 1990 8 10 22 24

Cited By

Recommended Content

Technical Paper Vehicle Electrical/Electronic System Design Considerations
Technical Paper Customer Requirements and Requirements Analysis Example
Technical Paper On the Design of a Task Based Human Simulation System