| 內容註: |
Collaborative development of dependable cyber-physical systems by co-modeling and co-simulation / John Fitzgerald, Ken Pierce, Peter Gorm Larsen -- UML MARTE time model and its clock constraint specification language / Frederic Mallet, Marie-Agnes Peraldi-Frati, Julien Deantoni, Robert de Simone -- Symbolic-based monitoring for embedded applications / Pramila Mouttappa, Stephane Maag, Ana Cavalli -- Designing resource-constrained embedded heterogeneous systems to cope with variability / Ian Gray, Andrea Acquaviva, Neil Audsley -- Vulnerabilities of secure and reliable low-power embedded systems and their analysis methods: a comprehensive study / Norbert Druml [and 7 others] -- An aspect-oriented approach to hardware fault tolerance for embedded systems / David de Andres, Juan-Carlos Ruiz, Jaime Espinosa, Pedro Gil -- Optimized system-level design methods for NoC-based many core embedded systems / Haoyuan Ying, Klaus Hofmann, Thomas Hollstein -- MADES FP7 EU project: effective high level SysML/MARTE methodology for real-time and embedded avionics systems / Alessandra Bagnato [and 15 others] -- Requirements refinement and component reuse: the FoReVer contract-based approach / Laura Baracchi, Alessandro Cimatti, Gerald Garcia, Silvia Mazzini, Stefano Puri, Stefano Tonetta -- Model-based analysis and engineering of automotive architectures with EAST-ADL / Sara Tucci-Piergiovanni [and 10 others] -- Fostering analysis from industrial embedded systems modeling / Michel Bourdelles [and 9 others] -- A model-driven engineering method for DRE defense systems performance analysis and prediction / Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, Gavin Puddy -- Industrial applications of emulation techniques for the early evaluation of secure low-power embedded systems / Norbert Druml [and 7 others] -- Dynamically reconfigurable embedded architectures for safe transportation systems / Naim Harb, Smail Niar, Mazen A. R. Saghir -- Embedded virtualization techniques for automotive infotainment applications / Massimo Violante, Gianpaolo Macario, Salvatore Campagna -- Studying individualized transit indicators using a new low-cost information system / P. A. Castillo [and 9 others] -- Mission critical embedded system development process: an industry perspective / Stefano Genolini, Matteo Crippa -- Framework-based debugging for embedded systems / Gokhan Tanyeri, Trish Messiter, Paul Beckett -- Industrial experiments in IMS, ATC, and SDR projects of property verification techniques / Emmanuel Gaudin. |