Validation of static properties in unified modeling language models for cyber physical systems
暂无分享,去创建一个
[1] Andrea Conti,et al. An Overview on Wireless Sensor Networks Technology and Evolution , 2009, Sensors.
[2] Elvinia Riccobene,et al. SystemC/C-based model-driven design for embedded systems , 2009, TECS.
[3] Demissie B. Aredo,et al. Towards a formalization of UML Class Structure in PVS , 1999 .
[4] F. Beaufils,et al. FRANCE , 1979, The Lancet.
[5] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[6] Demissie B. Aredo. Semantics of UML Statecharts in PVS , 2003 .
[7] Jean-Dominique Decotignie,et al. A high-precision ultra wideband impulse radio physical layer model for network simulation , 2009, SimuTools.
[8] Martin Gogolla,et al. USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..
[9] Robert B. France,et al. Towards a formalization of UML class structures in Z , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).
[10] Martin Gogolla,et al. On Constraints and Queries in UML , 1997, UML Workshop.
[11] Mark Saaltink. The Z/EVES System , 1997, ZUM.
[12] Jean-Dominique Decotignie,et al. A high-precision ultra wideband impulse radio physical layer model for network simulation , 2009, SIMUTools 2009.
[13] Ivar Jacobson,et al. Unified Modeling Language , 2020, Definitions.
[14] P. S. Thiagarajan,et al. Model-driven SoC design via executable UML to SystemC , 2004, 25th IEEE International Real-Time Systems Symposium.
[15] D. Pescaru,et al. Towards UML software models for Cyber Physical System applications , 2012, 2012 20th Telecommunications Forum (TELFOR).
[16] Krysia Broda,et al. Mapping UML Models incorporating OCL Constraints into Object-Z , 2003 .
[17] Gabriela Magureanu,et al. UML profile for Cyber-Physical System wireless communication specification , 2012, 2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI).
[18] Mandayam K. Srivas,et al. A Tutorial Introduction to PVS , 1998 .
[19] Thomas Baar. Non-deterministic Constructs in OCL - What Does any() Mean , 2005, SDL Forum.
[20] Yves Ledru,et al. Identifying pre-conditions with the Z/EVES theorem prover , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).
[21] Alex Doboli,et al. Towards UML modeling of cyber-physical systems: A case study for gas distribution , 2010, IEEE 8th International Symposium on Intelligent Systems and Informatics.
[22] Jozef Hooman,et al. Formalizing UML Models and OCL Constraints in PVS , 2004, SFEDL@ETAPS.
[23] Masato Edahiro,et al. FIDES: An advanced chip multiprocessor platform for secure next generation mobile terminals , 2008, ACM Trans. Embed. Comput. Syst..
[24] Stuart Kent,et al. Reflections on the Object Constraint Language , 1998, UML.
[25] Sophie Dupuy-Chessa,et al. An Overview of RoZ: A Tool for Integrating UML and Z Specifications , 2000, CAiSE.
[26] Arifa Bhutto,et al. Formal Verification of UML Profil , 2011 .
[27] Andrea Bondavalli,et al. Automated dependability analysis of UML designs , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).
[28] Gabriela Magureanu,et al. Generating OMNeT++ specifications from UML models for PSoC distributed applications , 2011, 2011 6th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI).
[29] Miroslaw Staron,et al. An empirical study on using stereotypes to improve understanding of UML models , 2004, Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004..
[30] Martin Höst,et al. UML and SystemC - Comparison and Mapping Rules for Automatic Code Generation , 2007, FDL.
[31] Bernhard Rumpe,et al. The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.
[32] Edward A. Lee,et al. Addressing Modeling Challenges in Cyber-Physical Systems , 2011 .
[33] Manuel Clavel,et al. ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams , 2006, AMAST.
[34] George Papadopoulos,et al. A Practical RF Propagation Model for Wireless Network Sensors , 2009, 2009 Third International Conference on Sensor Technologies and Applications.
[35] Demissie B. Aredo,et al. A Framework for Semantics of UML Sequence Diagrams in PVS , 2002, J. Univers. Comput. Sci..
[36] L. Rioux,et al. Uml-soc 2005 Uml for Soc Design Ii: Emerging Omg Profiles for Socs and Embedded Systems Uml Profile for System-on-chip (soc)____________________________________9 Marte: a New Omg Profile Rfp for the Modeling and Analysis of Real-time Embedded Systems _________________________________________16 Using , 2005 .