An aspect-oriented, model-driven approach to functional hardware verification
Journal of Systems Architecture: the EUROMICRO Journal
Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Model-Based consistency checks of electric and electronic architectures against requirements
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
metroII: A design environment for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Editor's note:This article provides an overview of current efforts in Europe for using metamodeling in the integrated development of critical systems such as automotive electronics. It distinguishes between lightweight versus heavyweight approaches, surveys a number of related current European projects, and gives details about the Speeds project to illustrate the role of metamodeling-driven system engineering.—Sandeep Shukla, Virginia Tech