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

Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior

Journal Article
2013-01-0435
ISSN: 1946-4614, e-ISSN: 1946-4622
DOI: https://doi.org/10.4271/2013-01-0435
Published April 08, 2013 by SAE International in United States
Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior
Sector:
Citation: Pramsohler, T., Kafkas, M., Paulic, A., Zeller, M. et al., "Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 6(2):425-436, 2013, https://doi.org/10.4271/2013-01-0435.
Language: English

References

  1. De Alfaro L. , Henzinger T. A. Interface automata SIGSOFT Softw. Eng. Notes 26 5 September 2001 109 120 10.1145/503271.503226
  2. Lucas F. J. , Molina F. , Toval A. A systematic review of UML model consistency management Information and Software Technology 2009
  3. Diethers K. , Huhn M. , Jensen K. , Podelski A. Vooduu: Verification of Object-Oriented Designs Using UPPAAL Lecture Notes in Computer Science 2004 10.1007/978-3-540-24730-2_10
  4. Zhao X. , Long Q. , Qiu Z. , Liu Z. , He J. Model Checking Dynamic UML Consistency Formal Methods and Software Engineering, Proceedings of the 8th International Conference on Formal Engineering Methods ICFEM 2006 2006 10.1007/11901433_24
  5. Wang H. , Feng T. , Zhang J. , Zhang K. Consistency check between behavior models International Symposium on Communications and Information Technologies 2005 10.1109/ISCIT.2005.1566899
  6. Yao S. , Shatz S.M. Consistency checking of UML dynamic models based on petri net techniques 15th International Conference on Computing 2006 10.1109/CIC.2006.32
  7. Uchitel S. , Brunet G. , Chechik M. Synthesis of Partial Behavior Models from Properties and Scenarios IEEE Transactions on Software Engineering 35 3 384 406 May June 2009 10.1109/TSE.2008.107
  8. Garousi V. , Briand L. C. , Labiche Y. Control flow analysis of UML 2.0 sequence diagrams Proceedings of the First European conference on Model Driven Architecture: foundations and Applications (ECMDA-FA'05) Springer-Verlag Berlin, Heidelberg 160 174 10.1007/11581741_13
  9. Eckardt T. , Henkler S. , Giese H. Component Behavior Synthesis for Critical Systems Lecture Notes in Computer Science 2010 10.1007/978-3-642-13556-9_4
  10. GENIVI http://www.genivi.org/ October 2012
  11. Enterprise Architect Model from GENIVI Repository https://svn.genivi.org/uml-model/genivi/trunk October 2012
  12. GENIVI AudioManager http://projects.genivi.org/audio-manager/ October 2012
  13. Eclipse http://www.eclipse.org/ October 2012
  14. Papyrus http://www.eclipse.org/modeling/mdt/papyrus/ October 2012
  15. Enterprise Architect http://www.sparxsystems.de/ October 2012
  16. Rational Rhapsody http://www-142.ibm.com/software/products/us/en/ratirhapfami/ October 2012
  17. OMG UML Profile Specification http://www.omg.org/technology/documents/profile_catalog.htm October 2012

Cited By

Recommended Content

Technical Paper A Safety and Security Testbed for Assured Autonomy in Vehicles
Technical Paper ADAS Feature Concepts Development Framework via a Low Cost RC Car
Journal Article Advanced Firmware Device Manager for Automotive: A Case Study