Co-modelling and Co-simulation in Embedded Systems Design
暂无分享,去创建一个
[1] Manfred Broy,et al. Cyber-Physical Systems: Imminent Challenges , 2012, Monterey Workshop.
[2] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[3] Jan F. Broenink,et al. On Model-driven Design of Robot Software using Co-simulation , 2010 .
[4] Chris Verhoef,et al. The rise and fall of the Chaos report figures , 2010, IEEE Software.
[5] Hermann Kopetz,et al. The time-triggered architecture , 2003 .
[6] H. Vangheluwe,et al. An introduction to multi-paradigm modelling and simulation. , 2002 .
[7] Danny Hughes,et al. Composition challenges and approaches for cyber physical systems , 2010, 2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications.
[8] J. Banks,et al. Discrete-Event System Simulation , 1995 .
[9] Gabriela Magureanu,et al. Validation of static properties in unified modeling language models for cyber physical systems , 2013, Journal of Zhejiang University SCIENCE C.
[10] Jan Peleska,et al. Executable HybridUML and Its Application to Train Control Systems , 2004, SoftSpez Final Report.
[11] Nick Battle,et al. VDM-10 Language Manual , 2010 .
[12] Daniel Jackson,et al. A direct path to dependable software , 2009, CACM.
[13] Job van Amerongen,et al. Dynamical Systems for Creative Technology , 2010 .
[14] Nick Battle,et al. The overture initiative integrating tools for VDM , 2010, ACM SIGSOFT Softw. Eng. Notes.
[15] Max Jacobson,et al. A Pattern Language: Towns, Buildings, Construction , 1981 .
[16] Liviu Miclea,et al. About dependability in cyber-physical systems , 2011, 2011 9th East-West Design & Test Symposium (EWDTS).
[17] Peter Marwedel,et al. Embedded system design , 2010, Embedded Systems.
[18] Edward A. Lee,et al. Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .
[19] Frédéric Boulanger,et al. Exploring Multi-Paradigm Modeling Techniques , 2009, Simul..
[20] Mark W. Maier,et al. Architecting Principles for Systems‐of‐Systems , 1996 .
[21] Edward A. Lee. CPS foundations , 2010, Design Automation Conference.
[22] Ayan Banerjee,et al. Research directions in energy-sustainable cyber-physical systems , 2011, Sustain. Comput. Informatics Syst..
[23] Edward A. Lee. Computing needs time , 2009, CACM.
[24] Stewart Robinson,et al. Simulation: The Practice of Model Development and Use , 2004 .
[25] Cliff B. Jones,et al. Systematic software development using VDM (2. ed.) , 1990, Prentice Hall International Series in Computer Science.
[26] Helen Gill,et al. Cyber-Physical Systems , 2019, 2019 IEEE International Conference on Mechatronics (ICM).
[27] Ian J. Hayes,et al. FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings , 2005, FM.
[28] Peter Csaba Ölveczky,et al. Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude , 2009, ICFEM.
[29] Benjamin W. Wah,et al. Wiley Encyclopedia of Computer Science and Engineering , 2009, Wiley Encyclopedia of Computer Science and Engineering.
[30] M. Heemels,et al. Boderc: Model-based design of high-tech systems : A collaborative research project for multi-disciplinary design analysis of high-tech systems , 2007 .
[31] Dean Karnopp,et al. Analysis and simulation of multiport systems : the bond graph approach to physical system dynamics , 1968 .
[32] Martyn Thomas,et al. Industrial deployment of system engineering methods providing high dependability and productivity. , 2013 .
[33] Peter Gorm Larsen,et al. Development Process of Distributed Embedded Systems using VDM , 2010 .
[34] Marcel Verhoef,et al. Modeling and validating distributed embedded real-time control systems , 2009 .
[35] Nick Battle,et al. Combinatorial Testing for VDM , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.
[36] Felix Naumann,et al. Data fusion , 2009, CSUR.
[37] David Broman,et al. Temporal Issues in Cyber-Physical Systems , 2013 .
[38] John Dawes,et al. The VDM-SL Reference Guide , 1991 .
[39] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[40] Edward A. Lee. Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[41] Eric Bonabeau,et al. Agent-based modeling: Methods and techniques for simulating human systems , 2002, Proceedings of the National Academy of Sciences of the United States of America.
[42] Insup Lee,et al. Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.
[43] Philip R. Moorby,et al. The Verilog Hardware Description Language, 5th Edition , 2002 .
[44] Edward A. Lee,et al. Distributed Real-Time Software for Cyber–Physical Systems , 2012, Proceedings of the IEEE.
[45] C. W. Johnson. The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions , 2005, FM.
[46] Gabor Karsai,et al. Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.
[47] Edward A. Lee,et al. CONTINUOUS TIME AND MIXED-SIGNAL SIMULATION IN PTOLEMY II , 1999 .
[48] David Garlan,et al. Large-Scale Complex IT Systems. Development, Operation and Management , 2012, Lecture Notes in Computer Science.
[49] Donald E. Thomas,et al. The Verilog® Hardware Description Language , 1990 .
[50] Jie Wu,et al. Hierarchical attribute-based encryption for fine-grained access control in cloud storage services , 2010, CCS '10.
[51] Edward A. Lee,et al. Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.
[52] Peter Liggesmeyer,et al. A Safety Roadmap to Cyber-Physical Systems , 2013, Perspectives on the Future of Software Engineering.
[53] Flemming M. Damm,et al. An Approach to the Static Semantics of VDM-SL , 1991, VDM Europe.
[54] Manuel Mazzara,et al. On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems , 2010, 2010 Third International Conference on Dependability.
[55] Deniz Erdogmus,et al. The Future of Human-in-the-Loop Cyber-Physical Systems , 2013, Computer.
[56] Peter J. Ashenden,et al. The Designer's Guide to VHDL , 1995 .
[57] Peter Gorm Larsen,et al. Modelling Systems: Practical Tools and Techniques in Software Development , 1998 .
[58] Peter Gorm Larsen,et al. Validated Designs for Object-oriented Systems , 2004 .
[59] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[60] Marcel Verhoef,et al. Formal Methods Going Mainstream: Costs, Benefits, Experiences , 2006 .
[61] Henk Corporaal,et al. PROGRESS white papers 2006 , 2006 .
[62] Peter Fritzson,et al. Modelica - A Unified Object-Oriented Language for System Modelling and Simulation , 1998, ECOOP.
[63] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[64] K.-E. Arzen,et al. How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime , 2003, IEEE Control Systems.
[65] David John Pumfrey,et al. The principled design of computer system safety analyses , 1999 .
[66] Osman Hasan,et al. Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements , 2013, ICCSA.
[67] Insup Lee,et al. Challenges and Research Directions in Medical Cyber–Physical Systems , 2012, Proceedings of the IEEE.
[68] Christopher G. Lasater,et al. Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.
[69] Luciano Lavagno,et al. Hardware-software codesign of embedded systems , 1994, IEEE Micro.
[70] Jeffrey S. Lavell,et al. Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions , 2000 .
[71] G.E. Moore,et al. Cramming More Components Onto Integrated Circuits , 1998, Proceedings of the IEEE.
[72] Edward A. Lee,et al. A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.
[73] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[74] Andreas Junghanns,et al. Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models , 2012 .
[75] Rachel Edith Baker,et al. An Approach for Dealing with Dynamic Multi-Attribute Decision Problems , 2005 .
[76] Peter Gorm Larsen,et al. Semantics of the VDM Real-Time Dialect , 2015 .
[77] David Taniar,et al. Computational Science and Its Applications – ICCSA 2013 , 2013, Lecture Notes in Computer Science.
[78] Ayan Banerjee,et al. Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber–Physical Systems , 2012, Proceedings of the IEEE.
[79] Peter Marwedel,et al. Embedded system design , 2021, Embedded Systems.
[80] Johannes F. Broenink,et al. Modelling, Simulation and Analysis with 20-Sim , 1997 .
[81] Elizabeth Latronico,et al. System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies , 2013 .
[82] Peter Gorm Larsen,et al. Vienna Development Method , 2008, Wiley Encyclopedia of Computer Science and Engineering.
[83] Carl E. Landwehr,et al. Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.