504 Hits in 3.9 sec

Cross-layer analysis, testing and verification of automotive control software

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, M. Satpathy, Stefan Resmerita, Wolfgang Pree
2011 Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11  
Code generation/optimization from the Simulink/Stateflow models, task partitioning and mapping decisions, as well as the parameters chosen for the schedulers -all of these impact the execution times and  ...  -are specified as Simulink/Stateflow models, from which code is generated and mapped onto the different ECUs.  ...  software satisfy the logical execution time specifications of the TDL model.  ... 
doi:10.1145/2038642.2038683 dblp:conf/emsoft/BroyCGRSRP11 fatcat:wixbqk74mrdhpl4e42n4hatqha

An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design [chapter]

Andrea Sindico, Marco Di Natale, Alberto Sangiovanni-Vincentelli
2012 Lecture Notes in Computer Science  
We show the methods and tools that have been developed to allow interoperability among requirements management, SysML modeling and MBD simulation and code generation.  ...  We present an industrial model-driven engineering process for the design and development of complex distributed embedded systems.  ...  In this case our approach is to manage the legacy component as a black block and define modeling elements wrapping it.  ... 
doi:10.1007/978-3-642-33666-9_51 fatcat:ojxlrql4pbggplsqhnbdowwvza

Power Hardware in the Loop (PHIL) Simulation of Battery Packs

2019 ECS Meeting Abstracts  
simulator to compute a model of a given system in real-time to send power signals from the model to a physical load connected to the simulator.  ...  An equivalent circuit model and a physics-based model of batteries were developed in SIMULINK and tested for PHIL implementation using the OPAL-RT.  ...  Figure 5. 2 2 SIMULINK model of the Single Particle Model To demonstrate the effects of the model when subjected to dynamic loads, the model was run in SIMULINK with the Federal Urban Drive Schedule profile  ... 
doi:10.1149/ma2019-01/22/1156 fatcat:427orxoy3jhyhnbh3ttjsdze3i

FMI-Based Multi-Domain Simulation for an Aero-Engine Control System

Juan Fang, Maochun Luo, Jiqiang Wang, Zhongzhi Hu
2021 Aerospace (Basel)  
To meet this challenge, a multi-domain co-simulation method based on the Functional Mock-up Interface (FMI) standard is proposed to integrate models developed by different software or tools.  ...  For each discipline, the modeling and simulation are usually dependent on different commercial software and tools, which makes the simulation, integration, and verification of system-level models very  ...  NS2020017); in part from the Central Military Commission Foundation to Strengthen Program Technology Fund (no. 2019-JCJQ-JJ-347); in part from Major Special Basic Research Projects for Aviation Engines  ... 
doi:10.3390/aerospace8070180 doaj:81a0b2104af846598ebe48d8133f502f fatcat:iudns7nfibca5dbqhjzujus3te

Automotive networks

Rolf Ernst, Gernot Spiegelberg, Thomas Weber, Herman Kopetz, Alberto Sangiovanni-Vincentelli, Marek Jersak
2007 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis - CODES+ISSS '07  
Network Network is is subject subject to to diverging diverging requirements requirements communication periodic communication (control engineering) event triggered communication data rates from few kbit  ...  /s to > 10Mbit/s (entertainment) real-time guaranteed throughput max. end-to-end latencies safety different safety levels entertainment → comfort function → active front steering → x-by-wire defined by  ...  Matlab/Simulink manually optimized combined with generated code code from multiple sources (OEM, supplier, 3rd party) growing efforts to find common run-time environment AUTOSAR AUTOSAR Methodology  ... 
doi:10.1145/1289816.1289880 dblp:conf/codes/ErnstSWKSJ07 fatcat:scy7s67ou5bztgxu5xv5b7f4bq

Validation process for railway interlocking systems

A. Bonacchi, A. Fantechi, S. Bacherini, M. Tempestini
2016 Science of Computer Programming  
The same extracted model is then subject to formal verification experiments, employing an iterative verification process implementing slicing and CEGAR-like techniques, defined to address the typical complexity  ...  In this paper we show how the problem has been addressed by a manufacturer at the final validation stage of production interlocking systems, by means of a model extraction procedure that creates a model  ...  This constraint has favoured the choice of Matlab and Simulink, using Simulink logic gates to encode boolean functions extracted from the legacy control tables.  ... 
doi:10.1016/j.scico.2016.04.004 fatcat:sqftsseqqjhdfduib6h7fxha3a

Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework

Seyed Hosein Attarzadeh Niaki, Ingo Sander
2011 2011 6th IEEE International Symposium on Industrial and Embedded Systems  
New design methodologies and modeling frameworks are required to provide a solution for integrating legacy code and IP models in order to be accepted in the industry.  ...  Wrappers enable the framework to co-simulate/co-execute with external models which might be legacy code, an IP block, or an implementation of a partially refined system.  ...  They allow the designers to integrate legacy codes and models in a formal modeling framework.  ... 
doi:10.1109/sies.2011.5953667 dblp:conf/sies/NiakiS11 fatcat:quxhbc6rcvdxphg6mgdulilf5q

AD-EYE: A Co-simulation Platform for Early Verification of Functional Safety Concepts [article]

Naveen Mohan, Martin Törngren
2019 arXiv   pre-print
of the use of legacy functions in new contexts.  ...  There has been a need to re-think the impact of the partial or complete absence of the human driver (in terms of a supervisory entity) in not only newly developed functions but also in the qualification  ...  A node that publishes the current simulation time on the required ROS topic was created to be used within the Simulink models.  ... 
arXiv:1912.00448v1 fatcat:dy6qbl3bbncmfaw65s4eddgj4q

A survey of approaches for the visual model-driven development of next generation software-intensive systems

Holger Giese, Stefan Henkler
2006 Journal of Visual Languages and Computing  
In this article, we identify a number of general requirements for the visual model-driven specification of next generation software-intensive systems.  ...  Therefore, visual modeling techniques to address these software-intensive systems require a mix of models from a multitude of disciplines such as software engineering, control engineering, and business  ...  Acknowledgments We thank Sven Burmester for his contributions to the related workshop paper, which served as a starting point for this one, and his comments on earlier versions of this article.  ... 
doi:10.1016/j.jvlc.2006.10.002 fatcat:j4nr3z4wizgzvhuhvdkrcklozu

Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior

Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann
2018 IEEE Transactions on Software Engineering  
Specifically, we propose a black-box test generation approach, implemented based on meta-heuristic search, that aims to maximize diversity in test output signals generated by Simulink models.  ...  The Simulink modeling platform greatly appeals to CPS engineers since it captures dynamic behavior models.  ...  Specifically, these models might be time-continuous magnitude-continuous, time-discrete • R.  ... 
doi:10.1109/tse.2018.2811489 fatcat:cxn4q2ix6vhafobq3p3r2wwiqi

The Use of Modelling within Prognostic Health Management Systems for a Fowler Flap System

Graham Hardwick, Isabella Panella
2018 Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications  
PHM systems utilise legacy and real time aircraft data in conjunction with simulation models to forecast the remaining useful life (RUL) of components and systems which allow maintenance decisions to be  ...  Finally simulation results from a physical model of the system in Simulink have been generated.  ...  A "generic" high lift model has been developed to protect intellectual property concerns for specific customer programs.  ... 
doi:10.5220/0006900701510159 dblp:conf/simultech/HardwickP18 fatcat:kgu5nebf3zet7c666z55sr5lue

Simulation-Based Assessment Methods [chapter]

A. A. van der Meer, R. Bhandia, P. Palensky, M. Cvetković, E. Widl, V. H. Nguyen, Q. T. Tran, K. Heussen
2020 European Guide to Power System Testing  
Such technology allows the energy systems to be operated and controlled more optimally and to be pushed to their design boundaries.  ...  Eventually, lab-based approaches to test, validate  ...  to duplicate the model specification in Matlab/Simulink.  ... 
doi:10.1007/978-3-030-42274-5_3 fatcat:mnw3qmaa2fh7ha54cfurjgyk34

From Conception to Implementation: A Model Based Design Approach

Giovanni Gaviani, Giacomo Gentile, Giovanni Stara, Luigi Romagnoli, Thomas Thomsen, Alberto Ferrari
2004 IFAC Proceedings Volumes  
These components are integrated with handwritten (e.g. legacy) software modules together with the software platform.  ...  In more details, g iven a model of the implementation platform, which describes the available services and data types, the algorithms captured by models are refined and then automatically translated to  ...  The Simulink and Stateflow models represent the complete functional specification of an algorithm.  ... 
doi:10.1016/s1474-6670(17)30317-8 fatcat:csrewfc5srcmvkykwrppdboshm

A Giotto-Based Helicopter Control System [chapter]

Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree
2002 Lecture Notes in Computer Science  
We extend Simulink to support the design of Giotto models, and from these models, the automatic generation of Giotto code that supervises the interaction of the functionality code with the physical environment  ...  Functionality code such as code computing control laws can be generated automatically from Simulink models or, as in the case of this project, inherited from a legacy system.  ...  In order to simulate Giotto models in Simulink we have developed a translator that reads Simulink specifications of Giotto models and transforms them into standard discrete-time multi-rate Simulink models  ... 
doi:10.1007/3-540-45828-x_5 fatcat:ib6quz2tqvfwxdr2sy33vu3f4q

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)

Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons, Michael Wagner
2018 Dagstuhl Reports  
The seminar brought together academic and industrial researchers working on challenges related to the Logical Execution Time Paradigm (LET).  ...  LET abstracts from the actual timing behavior of real-time tasks on the physical platform: Independent of when a task executes, the time interval between its reading input and writing output is fixed by  ...  a model-based development with simulation in MATLAB/Simulink.  ... 
doi:10.4230/dagrep.8.2.122 dblp:journals/dagstuhl-reports/ErnstKQS18 fatcat:6k7z4uyijrhuxceulih3jeiqoa
« Previous Showing results 1 — 15 out of 504 results