A Systematic Mapping of Architectures for Embedded Software
暂无分享,去创建一个
[1] Lars Pareto,et al. Concern coverage in base station development: an empirical investigation , 2010, Software & Systems Modeling.
[2] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[3] Harald Heinecke,et al. AUTomotive Open System ARchitecture - An Industry-Wide Initiative to Manage the Complexity of Emerging Automotive E/E-Architectures , 2004 .
[4] Tore Dybå,et al. Evidence-based software engineering , 2004, Proceedings. 26th International Conference on Software Engineering.
[5] MedvidovicNenad. Software Architectures and Embedded Systems , 2005 .
[6] Kai Petersen,et al. Systematic Mapping Studies in Software Engineering , 2008, EASE.
[7] Bedir Tekinerdogan,et al. Software Architecture Reliability Analysis Using Failure Scenarios , 2005, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05).
[8] Christophe Moy,et al. A co-design methodology based on model driven architecture for real time embedded systems , 2011, Math. Comput. Model..
[9] Elisa Yumi Nakagawa,et al. Representation of Reference Architectures: A Systematic Review , 2011, SEKE.
[10] Pao-Ann Hsiung,et al. A Model-Driven Multicore Software Development Environment for Embedded System , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.
[11] Hassan Gomaa,et al. Analyzing Behavior of Concurrent Software Designs for Embedded Systems , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).
[12] Claudio Riva,et al. Reverse architecting: an industrial experience report , 2000, Proceedings Seventh Working Conference on Reverse Engineering.
[13] Yunwei Dong,et al. A Model-Based Testing for AADL Model of Embedded Software , 2009, 2009 Ninth International Conference on Quality Software.
[14] S. Seshu,et al. Introduction to the theory of finite-state machines , 1963 .
[15] Nancy G. Leveson,et al. Role of Software in Spacecraft Accidents , 2004 .
[16] M. Lindvall,et al. Model-Based Validation & Verification Integrated with SW Architecture Analysis: A Feasibility Study , 2007, 2007 IEEE Aerospace Conference.
[17] Kang G. Shin,et al. An architecture for embedded software integration using reusable components , 2000, CASES '00.
[18] Eugenio Villar,et al. AADL Simulation and Performance Analysis in SystemC , 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.
[19] Robert B. France,et al. Aspect Oriented Modeling of Component Architectures Using AADL , 2008, 2008 New Technologies, Mobility and Security.
[20] Nenad Medvidovic. Software Architectures and Embedded Systems: A Match Made in Heaven? , 2005, IEEE Softw..
[21] Yogananda Jeppu,et al. A new input-output based model coverage paradigm for control blocks , 2011, 2011 Aerospace Conference.
[22] Software Architectures and Embedded Systems , 2003 .
[23] David E. Simon,et al. An Embedded Software Primer , 1999 .
[24] Risto Suoranta. New Directions in Mobile Device Architectures , 2006, 9th EUROMICRO Conference on Digital System Design (DSD'06).
[25] Peter Liggesmeyer,et al. Trends in Embedded Software Engineering , 2009, IEEE Software.
[26] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.