Filters








66 Hits in 2.8 sec

A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331

Konstantin Dmitriev, Shanza Ali Zafar, Kevin Schmiechen, Yi Lai, Micheal Saleab, Pranav Nagarajan, Daniel Dollinger, Markus Hochstrasser, Florian Holzapfel, Stephan Myschik
2020 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC)  
This custom workflow is intended to establish a lean and highly automated development life cycle resulting in higher quality software with better maintainability characteristics for research and prototype  ...  The selection of objectives from the standards is based on the importance, degree of automation, and reusability of specific objectives.  ...  Additionally for MBS, objectives for source code compliance to low-level requirements and software architecture in table MB.A-5 are accomplished by Simulink Code Inspector.  ... 
doi:10.1109/dasc50938.2020.9256576 fatcat:m6v7qfz3yncw3j4a7j2gtg2jky

Execution time analysis and optimisation techniques in the model-based development of a flight control software

Kajetan Nürnberger, Markus Hochstrasser, Florian Holzapfel
2017 IET Cyber-Physical Systems  
This case study analyses the possibilities to improve the execution time of model-based developed software by applying optimisations during code generation and compilation.  ...  They also thank all our colleagues who implemented the Simulink model that was used for this case study. Moreover, special thanks to Volker Schneider for changing his model to the proposed structure.  ...  Auto code generation To generate C source code from the model, the EC from MathWorks is used. As stated in Section 3.3, the code generation shall be compatible to the Simulink Code Inspector.  ... 
doi:10.1049/iet-cps.2016.0046 fatcat:ecglnuq4lzcmlgyasy4nbsf4mm

AADL and model-based engineering

Peter H. Feiler
2014 Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14  
the data needed, and completing and reviewing the collection of information.  ...  Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to a penalty for failing to comply with a collection of information if it does not display a currently  ...  embedded SW/HW) Hardware Components (circuits & logic) VHDL Application Software Components (source code) Java, UML, Simulink Physical Components (mechanical , electrical, heat) Simulink  ... 
doi:10.1145/2663171.2663174 dblp:conf/sigada/Feiler14 fatcat:mddvd4nlurh65o6zopy5jrziay

Overview of existing safeguarding techniques for automatically generated code

Ingo Stürmer, Daniela Weinberg, Mirko Conrad
2005 Software engineering notes  
Code generators are increasingly used in an industrial context to translate graphical models into executable code.  ...  Since the code is often deployed in safety-related environments, the quality of the code generators is of paramount importance.  ...  Such models are designed with popular graphical modelling languages such as Matlab/Simulink and Matlab/Stateflow from The MathWorks.  ... 
doi:10.1145/1082983.1083192 fatcat:qkklasq3izgajirw4ilplpsyo4

Overview of existing safeguarding techniques for automatically generated code

Ingo Stürmer, Daniela Weinberg, Mirko Conrad
2005 Proceedings of the second international workshop on Software engineering for automotive systems - SEAS '05  
Code generators are increasingly used in an industrial context to translate graphical models into executable code.  ...  Since the code is often deployed in safety-related environments, the quality of the code generators is of paramount importance.  ...  Such models are designed with popular graphical modelling languages such as Matlab/Simulink and Matlab/Stateflow from The MathWorks.  ... 
doi:10.1145/1083190.1083192 fatcat:jurrd3ypqzfqddp7lrsyfjqk7q

How to engineer tool-chains for automotive E/E architectures?

Peter Waszecki, Martin Lukasiewycz, Alejandro Masrur, Samarjit Chakraborty
2013 ACM SIGBED Review  
And even with the proper set of tools, it remains an essential challenge to combine them into a consistent and flexible tool-chain, covering all design and development phases.  ...  According to the Feature Metrics Matrix the five most suitable tools are SystemDesk, EB tresos Inspector, MATLAB/Simulink, CANx and DOORS.  ...  code generation; TargetLink (dSpace) Development of distributed systems based on SIMULINK models; Provides built-in simulation and testing mechanisms and enables an incremental code generation and code  ... 
doi:10.1145/2583687.2583689 fatcat:szjql6b5pnawllzid2mcga44su

Testing embedded software: A survey of the literature

Vahid Garousi, Michael Felderer, Çağrı Murat Karapıçak, Uğur Yılmaz
2018 Information and Software Technology  
code), and the types of industries in which studies have focused on, e.g., automotive and home appliances.  ...  Furthermore, we assess the benefits of this review by asking several active test engineers in the Turkish embedded software industry to review its findings and provide feedbacks as to how this review has  ...  In 95 papers, the generation of automated test code (e.g., in xUnit) is addressed.  ... 
doi:10.1016/j.infsof.2018.06.016 fatcat:nye7v5keuvbvdnm3qnlkkfac5e

Intelligent Assessment and Prediction of Software Characteristics at the Design Stage

Oksana Pomorova
2013 American Journal of Software Engineering and Applications  
They are based on the code reveiw. Review of the entire code is not possible due to the high laboriousness, so different methods of reducing the tested code size are used.  ...  Figure 4 . 4 ANN layers structural scheme in Simulink.  ... 
doi:10.11648/j.ajsea.20130202.11 fatcat:dauqtx55jfhxhbdgcmcfa2kdee

A Rapid Prototyping Environment for Wireless Communication Embedded Systems

Bryan A. Jones, Joseph R. Cavallaro
2003 EURASIP Journal on Advances in Signal Processing  
With the increasing complexity of applications, rapid evolution of technology, and intense market competition in DSP consumer markets, the ability to quickly take a product concept to a working hardware  ...  The authors apply a temporal partitioning approach to the application dataflow graph with the objective of minimizing the FPGA resources required to meet a given performance constraint.  ...  or refine review.  ... 
doi:10.1155/s111086570330304x fatcat:3ird7hyyzjeb5bmrqa6ztx7574

Secure routing protocol design for UAV ad hoc networks

Jean Aime Maxa, Mohamed Slim Ben Mahmoud, Nicolas Larrieu
2015 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)  
Indeed, some UAV communication architectures have been proposed, but none of them has been designed with security in mind.  ...  This operation is run automatically with Simulink Code Inspector toolbox. It compares the generated code with its source model to test specification conformances.  ...  Afterwards, the fifth step is to generate the object code. This step is automated with Matlab Code Generation toolbox with an appropriate compiler in the program preferences.  ... 
doi:10.1109/dasc.2015.7311581 fatcat:lwltwjaeh5hzphmuvakit3cvea

Secure routing protocol design for UAV Ad hoc NETworks

Jean-Aime Maxa, Mohamed Slim Ben Mahmoud, Nicolas Larrieu
2015 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)  
Indeed, some UAV communication architectures have been proposed, but none of them has been designed with security in mind.  ...  This operation is run automatically with Simulink Code Inspector toolbox. It compares the generated code with its source model to test specification conformances.  ...  Afterwards, the fifth step is to generate the object code. This step is automated with Matlab Code Generation toolbox with an appropriate compiler in the program preferences.  ... 
doi:10.1109/dasc.2015.7311415 fatcat:ulqnmw5il5bepi3eqt5yw7qjby

A Methodology for the Simplification of Tabular Designs in Model-Based Development

Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng
2015 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering  
Thus their presence in Simulink models is increasingly prominent in the implementation of complex behaviour in production code.  ...  Model-based development (MBD) is an increasingly used approach for the development of embedded control software, with Matlab Simulink/Stateflow as the widely accepted language.  ...  Model-in-the-Loop Metrics In this section, we review existing software metrics for Simulink models.  ... 
doi:10.1109/formalise.2015.15 dblp:conf/icse/BialyLPW15 fatcat:juaamfa3hvhwppdmakq7bzyk6u

Board-level Lifetime Prediction for Power Board of Balise Transmission Module in High-speed Railways

Wei Shangguan, Yu Zang, Huashen Wang, Michael. G. Pecht
2020 IEEE Access  
Power board is the power source of the high-speed railway devices that provides all the energy required from other circuit boards, which is highly associated with the working state of the entire device  ...  prediction model for power board was built, then the RULs under the single failure mechanism and multiple failure mechanisms were predicted, finally, the results were verified and validated by Monte Carlo and Simulink  ...  AND RECEIVING BOARD FAILURE There is no fault code for the emitting board, therefore, local failure location can only be performed through the fault code of the receiving board.  ... 
doi:10.1109/access.2020.3011107 fatcat:m5ouiwlnxnf7niwtteaacmtb7i

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, Dominique Blouin, Etienne Borde, Didier Buchs, Holger Giese, Miguel Goulao, Mauro Iacono, Florin Leon (+3 others)
2019 Zenodo  
Simulink).  ...  AADL Inspector is an analysis tool for AADL.  ... 
doi:10.5281/zenodo.2538711 fatcat:itthyvenhfhmdn3f3jap7yf42y

Autonomous Robot for Crack Detection and Mapping for Bridge Surface
English

Mohammad Salman, V aidehi Baporikar
2015 International Journal of Innovative Research in Computer and Communication Engineering  
We have used prewitt operator for edge detection along with median filter. We can control motion of mobile robot via control panel is developed in MATLAB.  ...  Aim of this project is to inspect and detect the cracks on the bridge surface using of autonomous robot which is equipped with android phone having high resolution camera used to transmit the images wirelessly  ...  The proposed method has been implemented initially in simulation environment of MATLAB (Simulink).  ... 
doi:10.15680/ijircce.2015.0307040 fatcat:yjcjb6g4undknbx5ok7nxld2fe
« Previous Showing results 1 — 15 out of 66 results