Modeling functional and non-functional properties of systems based on a multi-view approach
作者： Carlos Ernesto Gómez Cárdenas
DOI:
关键词:
摘要: At the system-level, experts specify functional and non-functional properties by employing their own theoretical models, tools environments. Such attempt to use most adequate formalisms verify defined system in a specific domain. Nevertheless, each one of these experts' views is supported on common base impacts directly or indirectly models described other experts. Therefore, it essential keep semantic coherence among different points view, also be able reconcile include all view before undertaking phases analysis. This thesis proposes domain model called PRISMSYS. based model-driven multi-view approach where concepts, relationships between them, are for Moreover, concepts maintain relation with backbone model. PRISMSYS allows keeping means manipulation events logical clocks. represented an UML profile, as much possible SysML MARTE. The model, which preserves coherence, specified using CCSL, declarative formal language specification causal temporal views. environment proposed co-simulation its illustrated taking case study electronic system, main analysis power consumption.
archives-ouvertes.fr参考文章(46)
Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert B. France, Reifying Concurrency for Executable Metamodeling software language engineering. ,vol. 8225, pp. 365- 384 ,(2013) , 10.1007/978-3-319-02654-1_20
Elif Demirli, Bedir Tekinerdogan, Software language engineering of architectural viewpoints european conference on software architecture. ,vol. 6903, pp. 336- 343 ,(2011) , 10.1007/978-3-642-23798-0_36
Franck Fleurey, Benoit Baudry, Robert France, Sudipto Ghosh, A Generic Approach for Automatic Model Composition model driven engineering languages and systems. ,vol. 5002, pp. 7- 15 ,(2008) , 10.1007/978-3-540-69073-3_2
Miltos D. Grammatikakis, George Kornaros, Marcello Coppola, Power‐Aware Multicore SoC and NoC Design Multiprocessor System-on-Chip. pp. 167- 193 ,(2011) , 10.1007/978-1-4419-6460-1_8
Ed Merks, Stephen A. Brodsky, Frank Budinsky, Eclipse Modeling Framework Pearson Education. ,(2003)
Ons Mbarek, Alain Pegatoquet, Michel Auguin, A methodology for power-aware transaction-level models of systems-on-chip using UPF standard concepts power and timing modeling optimization and simulation. pp. 226- 236 ,(2011) , 10.1007/978-3-642-24154-3_23
Secure Integrated Circuits and Systems secs. ,(2010) , 10.1007/978-0-387-71829-3
Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque, Supporting Incremental Synchronization in Hybrid Multi-view Modelling Models in Software Engineering. pp. 89- 103 ,(2012) , 10.1007/978-3-642-29645-1_11
D. Helms, E. Schmidt, W. Nebel, Leakage in CMOS Circuits – An Introduction power and timing modeling optimization and simulation. pp. 17- 35 ,(2004) , 10.1007/978-3-540-30205-6_5
Alan Gibbons, David Flynn, Michael Keating, Kaijian Shi, Rob Aitken, Low Power Methodology Manual: For System-on-Chip Design ,(2007)