7 Hits in 5.6 sec

Towards a Round-Trip Support for Model-Driven Engineering of Embedded Systems

Federico Ciccozzi, Antonio Cicchetti, Mikael Sjodin
2011 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications  
With the introduction of steps (ii) and (iii), properties that are hard to predict at modelling level are compared with runtime values and this consequently allows the developer to work exclusively at  ...  modelling level thus focusing on optimising system models with the help of those values.  ...  decisions at modelling level.  ... 
doi:10.1109/seaa.2011.39 dblp:conf/euromicro/CiccozziCS11 fatcat:jzncuhns5rdxfbffl3fahbvkzq

The State of Modeling, Simulation, and Data Utilization within Industry: An Autonomous Vehicles Perspective [article]

Joshua Fadaie
2019 arXiv   pre-print
companies are using simulation tools and reliable data-sets, this paper will also seek to address several important and related questions, namely: the interaction between simulation and supporting tools/software  ...  Through model based design systems are not constructed via document level software programming (line by line programmed code), but at the module/model level where each model has a distinct set of inputs  ...  Self-driving vehicles are characterized by 6 levels of autonomy according to SAE International, where level 0 refers to no automation and level 5 is fully automated with no driver assistance or monitoring  ... 
arXiv:1910.06075v1 fatcat:k7d2tuj3lfer3c7psxm7pwgb3m

Models, Methods and Tools for Availability Assessment of IT-Services and Business Processes

Nikola Milanovic, Technische Universität Berlin, Technische Universität Berlin, Volker Markl
The problem of service availability assessment and management is interdisciplinary, combining fields of fault-tolerance, service oriented architecture and business process management.  ...  The emphasis is on formal availability models, such as combinatorial (e.g., reliability block diagrams, fault trees) and state-space (e.g., Markov chains, Petri net) models, but qualitative models (e.g  ...  (f) Model output In general, the following outputs are given, at various model levels: reliability of selected components, system reliability over an interval, system steady-state availability, transient  ... 
doi:10.14279/depositonce-2482 fatcat:qlumhihb3vgujcn472x2qgimua

The Foundation for a Scaleable Methodology for Systems Design

Toby Myers, University, My, Vladimir Estivill-Castro
the systems and software engineering level.  ...  Mainstream software & systems engineering approaches are struggling to manage the complexity of building large-scale software-intensive systems which is resulting in the widespread failure of projects.  ...  UML2 actually introduced a new form of UML bloat for model transformation designers who must operate at a meta-model level.  ... 
doi:10.25904/1912/940 fatcat:sefe5y33nraznlqbswryfxdigq

Model-based testing of real-time embedded systems in the automotive domain [article]

Justyna Zander-Nowicka, Technische Universität Berlin, Technische Universität Berlin, Ina Schieferdecker
Hence, the problem addressed by this innovation relates to quality-assurance processes at model level, when neither code nor hardware exists.  ...  Design decisions that used to be made at the code level are increasingly made at a higher level of abstraction.  ...  A possible realization that measures structural coverage at the model level is provided by the Model Coverage Tool in Simulink Verification and Validation [SLVV].  ... 
doi:10.14279/depositonce-2126 fatcat:ujg7uwu47fecvhn5bxvx7vu3ve

ICIW 2014 COMMITTEE ICIW Advisory Committee

France Paris, Sergio De Agostino, Mario Freire, Steffen Fries, Vagan Terziyan, Mike Wald, Sergio De Agostino, Vincent Balat, Sven Graupner, Hewlett-Packard Laboratories -Palo Alto, Alexander Usa, Wöhrer (+156 others)
2014 unpublished
Group synergy in cooperative networks includes online gambling, gaming, and children groups, and at a larger scale, B2B and B2P cooperation.  ...  Entertainment systems became one of the most business-oriented and challenging area of distributed real-time software applications' and special devices' industry.  ...  At the abstract modelling level, we treat a service as a black box with the defined logical interfaces.  ... 

Volume 3 – Conference

12. IFK
ACKNOWLEDGEMENTS ACKNOWLEGEMENT The authors would like to thank the research group at the University of Michigan sharing the ideas on  ...  Although, for a machine and program simulation or a virtual commissioning you need models (level 3) for the software and the digital control function, too.  ...  For the simple sizing and configuration process, the so called static models (level 1), like CAD-files, EPLAN-Macros and characteristic curves (e.g., Speed-torque curve or pressure-oil flow) are sufficient  ... 
doi:10.25368/2020.8 fatcat:3gjpbe6tffdjdn2ajfvqjduo6e