, Advancing Traffic Efficiency and Safety through Software Technology phase 2 (ATESST2), Deliverable D4.1.1, EAST-ADL Domain Model Specification, 2010.
, Version 1.2, formal/ 2010-06-02, OMG, OMG Systems Modeling Language (OMG SysML), 2010.
, Automotive Open System Architecture) Specifications
HIP-HOPS tool ,
, Unified Modeling Language Superstructure v2.3, OMG Std
Optimum: a martebased methodology for schedulability analysis at early design stages, SIGSOFT Softw. Eng. Notes, vol.36, pp.1-8, 2011. ,
,
, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.0, formal/2009-11-02, OMG, 2009.
Enabling scheduling analysis for autosar systems, Object/ Component/Service-Oriented Real-Time Distributed Computing (ISORC), pp.152-159, 2011. ,
Project presentation ,
MAENAD: Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles, 2008. ,
Eclipse based architecture of the edona platform for automotive system development, ERTS 2010, 2010. ,
From east-adl to autosar software architecture: A mapping scheme, ECSA, pp.328-335, 2011. ,
, Draft International Standard Road Vehicles -Functional Safety, vol.26262, 2009.
Model-based safety engineering of interdependent functions in automotive vehicles using east-adl2, Proceedings of the 29th international conference on Computer safety, reliability, and security, ser. SAFECOMP'10, pp.332-346, 2010. ,
Tabu-based evolutionary algorithm with negative selection for pareto-optimization in distributed systems, Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases, ser. AIKED'08, pp.327-332, 2008. ,
Multiprocessor systems-on-chip synthesis using multi-objective evolutionary computation, Proceedings of the 12th annual conference on Genetic and evolutionary computation, ser. GECCO '10, pp.1267-1274, 2010. ,
Time and memory tradeoffs in the implementation of autosar components, DATE, pp.864-869, 2009. ,
Reliability optimization of series-parallel systems using a genetic algorithm, IEEE Transactions on Reliability, vol.45, pp.254-260, 1996. ,
Software application design based on architecture, reliability and cost, Proceedings of the Ninth International Symposium on Computers and Communications, vol.2, pp.1098-1103, 2004. ,
Permutational genetic algorithm for the optimized assignment of priorities to tasks and messages in distributed real-time systems, Proceedings of the 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, ser. TRUSTCOM '11, pp.958-965, 2011. ,
A uml model-based approach for replication assessment of autosar safety-critical applications, International Joint Conference of, vol.0, pp.1176-1187, 2011. ,
A guidance framework for the generation of implementation models in the automotive domain, EUROMICRO-SEAA, pp.468-476, 2011. ,
Handbook of Genetic Algorithms, 1991. ,
Software architecture optimization methods: A systematic literature review, IEEE Transaction on Software Engineering, 2012. ,
Optimizing automatic deployment using non-functional requirement annotations," in Leveraging Applications of Formal Methods, Verification and Validation, ser. Communications in Computer and Information Science, vol.17, pp.400-414, 2008. ,
Automated deployment of distributed software components with fault tolerance guarantees, Proceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications ,
, , pp.21-27, 2008.
, Int. J. Passeng. Cars -Electron. Electr. Syst, vol.6, issue.1, 2013.