Filters








40,541 Hits in 7.6 sec

Verifying a logic synthesis tool in Nuprl: A case study in software verification [chapter]

Mark Aagaard, Miriam Leeser
1993 Lecture Notes in Computer Science  
We have proved a logic synthesis tool with the Nuprl proof development system.  ...  Our goal was to develop a proven and usable implementation of a hardware synthesis tool. Pbs consists of approximately 1000 lines of code implemented in a functional subset of Standard ML.  ...  In addition we would like to thank Chet Murthy and Doug Howe, who were always willing to help and gave us a number of useful suggestions.  ... 
doi:10.1007/3-540-56496-9_7 fatcat:7sr6qhxu6vf37ejjvcr7tzq4te

An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study [chapter]

Annapurna Chunduri, Robert Feldt, Mikael Adenmark
2016 Lecture Notes in Computer Science  
Firstly, to identify the current approach used to test the distributed automotive embedded software functions in literature and in a case company.  ...  To accomplish the objectives, a case study was conducted at Scania CV AB, Södertälje, Sweden.  ...  AEs) at the system test level in case of those ECU systems that are developed in-house.  ... 
doi:10.1007/978-3-319-49094-6_15 fatcat:euacc4ynrbb4bi2ywuy62nydaa

Challenges and practices in aligning requirements with verification and validation: a case study of six companies

Elizabeth Bjarnason, Per Runeson, Markus Borg, Michael Unterkalmsteiner, Emelie Engström, Björn Regnell, Giedre Sabaliauskaite, Annabella Loconsole, Tony Gorschek, Robert Feldt
2013 Empirical Software Engineering  
We have performed a multi-unit case study to gain insight into issues around aligning RE and VV by interviewing 30 practitioners from 6 software developing companies, involving 10 researchers in a flexible  ...  research process for case studies.  ...  The research was funded by EASE Industrial Excellence Center for Embedded Applications Software Engineering (http://ease.cs.lth.se).  ... 
doi:10.1007/s10664-013-9263-y fatcat:ax7sbvlko5ggdeklnrs2azgaci

Correct Development of Embedded Systems [chapter]

Susanne Graf, Jozef Hooman
2004 Lecture Notes in Computer Science  
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language.  ...  The main contributions of the project are the definition of a useful subset of UML and some extensions, a formal dynamic semantics integrating all notations and a tool set for the validation of models  ...  In this paper we report on work done in the EU-IST project OMEGA. The goal of this project is to provide a framework the development of embedded software systems based on UML and formal verification.  ... 
doi:10.1007/978-3-540-24769-2_21 fatcat:fvsqeoqndjbnbfnktiof35ytl4

Design validation of embedded dependable systems

A. Bondavalli, A. Fantechi, D. Latella, L. Simoncini
2001 IEEE Micro  
The current disciplines of hardware, firmware, software, and application engineering-commonly considered as separate-must evolve toward a system engineering discipline.  ...  A common characteristic of such embedded systems is their increasing complexity in intrinsic terms-distribution management, redundancy, functionality layering, and so on-and of their in-the-field operation-environmental  ...  Formal verification Formal verification is a hot topic especially for the development of dependable embedded systems.  ... 
doi:10.1109/40.958699 fatcat:wghik64werc27lhq3tyumg2xn4

Embedded Systems Development Tools: A MODUS-oriented Market Overview

Michalis Loupis
2014 Business Systems Research  
As a result embedded system developers have adopted software methods that yield high quality. The qualitative approach to examining embedded systems development tools has been applied in this work.  ...  Results: This paper presents a MODUS-oriented market analysis in the domains of Formal Verification tools, HW/SW co-simulation tools, Software Performance Optimization tools and Code Generation tools.  ...  The worldwide market for embedded systems development software (ESD) had a size of about €3.31 billion in 2010.  ... 
doi:10.2478/bsrj-2014-0001 fatcat:x2yblzjbrrf2rh5bg3j76injuu

Model & Simulation-Based Systems Engineering Of Future Cyber-Physical Electrical Power Systems - Challenges And Foundations -

Luigi Vanfretti
2016 Zenodo  
MBSE is not only a framework to deal with all the phases of putting in place complex systems-of-systems, but also provides a foundation for the democratization of technology - both software and hardware  ...  This type of complex systems present unprecedented challenges in their operation and control, that due to the interaction with ICT, require new concepts, methods and tools to facilitate their operational  ...  Verification and Validation for Timing System-Dependent Applications Case Study: GPS Vulnerability and Impact on Synchrophasor Applications Challenge: Joint (integrated) modeling, simulation and TV&V including  ... 
doi:10.5281/zenodo.61879 fatcat:wbw7tjjaargtpeqxr4ka2m3fa4

Present and future requirements in developing industrial embedded real-time systems - interviews with designers in the vehicle domain

K. Hanninen, J. Maki-Turja, M. Nolin
2006 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)  
In this paper, we aim at capturing the industrial viewpoint of todays and future requirements in development of embedded real-time systems.  ...  This study shows that reliability and safety are the main properties in focus during development. It also shows that the amount of functionality has been increasing in the examined systems.  ...  Introduction There is an increasing trend towards software solutions in embedded systems.  ... 
doi:10.1109/ecbs.2006.56 dblp:conf/ecbs/HanninenMN06 fatcat:eesa6v3sm5br7op4fma2ipier4

Fault modelling for systems of systems

Zoe Andrews, John Fitzgerald, Richard Payne, Alexander Romanovsky
2013 2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS)  
tool development.  ...  The effectiveness of the approach is evaluated on a case study based on a real emergency response SoS.  ...  The authors are grateful to Enrico Fracasso of Insiel for his input in developing the case study and to Alexandre Mota, André Didier, Jon Holt and Simon Perry for their feedback on earlier versions of  ... 
doi:10.1109/isads.2013.6513445 dblp:conf/isads/AndrewsFPR13 fatcat:6mwg36d6nzhfphzktc7nv26hyi

Evaluation of an Abstract Component Model for Embedded Systems Development

Christian Bunse, Yunja Choi, Hans Gerhard Gross
2012 Journal of Information Processing Systems  
Section 4 outlines a system used as demonstrator case study. Section 5 presents the evaluation of the MARTMOT method in comparison with the Agile development approach.  ...  Model-driven and component-oriented development is increasingly being used in the development of embedded systems.  ...  It assumes KobrA's abstract component model, and extends it towards the development of embedded systems.  ... 
doi:10.3745/jips.2012.8.4.539 fatcat:2txmyphn6nhzpozxrirjseseja

Software Reverse Engineering in the Domain of Complex Embedded Systems [chapter]

Holger M., Johan Kraft, Hausi A.
2012 Reverse Engineering - Recent Advances and Applications  
For example, in a case study the Understand tool extracted facts from a system with more than one million of lines of C code in less than 2 minutes (Kraft, 2010, page 144) .  ...  + or assembly. 3 As a general rule, the development practice for complex embedded systems in industry is not radically different from less critical software systems; formal verification techniques are  ... 
doi:10.5772/33586 fatcat:cutc7knbajcq5mp6kh7yd7wehu

Formal Verification of Cyberphysical Systems

James Bret Michael, Doron Drusinsky, Duminda Wijesekera
2021 Computer  
foundations and online monitoring for embedded systems and CPSs, hybrid systems, the automated extraction of specifications from source code, and formal methods in software engineering, particularly embedded  ...  A lot depends on the system design, and the verification engineer should be prepared to apply the whole range of available tools as needed.  ... 
doi:10.1109/mc.2021.3055883 fatcat:zbltmzwhb5aava6yiqbcohyvy4

UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs)

Fateh Boutekkouk, Mohammed Benmohammed, Sebastien Bilavarn, Michel Auguin
2009 Journal of Object Technology  
In this paper we review and compare the most known UML2.0 profiles for embedded systems and SOCs.  ...  On the other hand enhancements included in UML2.0 has increased UML opportunities to model embedded systems. UML2.0 is qualified to be a component-based which is more suitable for hardware modeling.  ...  In the latter case, an UML profiling tool that combines the UML2.0 description and simulation statistics that is obtained the verification phase is developed.  ... 
doi:10.5381/jot.2009.8.1.a1 fatcat:coirvylxd5amzmiwtz6ymxi6l4

Toward the tools selection in model based system engineering for embedded systems—A systematic literature review

Muhammad Rashid, Muhammad Waseem Anwar, Aamir M. Khan
2015 Journal of Systems and Software  
However, it is difficult to customize MBSE approach for the development of embedded systems due to their diverse behavioral aspects.  ...  Model based system engineering (MBSE) is a systematic approach of modeling which is frequently used to support requirement specification, design, verification and validation activities of system development  ...  Engineering and Innovated Systems".  ... 
doi:10.1016/j.jss.2015.04.089 fatcat:l7ksgsyvyzbcxnch5dgeow3mje

On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification [chapter]

Tahir Naseer Qureshi, De-Jiu Chen, Magnus Persson, Martin Törngren
2013 Embedded Systems Development  
We present a way of integrating architectural models and verification techniques, which has been implemented in a tool called ViTAL.  ...  The influence of the systems architecture on the functions and other properties of embedded systems makes its high level analysis and verification very desirable.  ...  Systems.  ... 
doi:10.1007/978-1-4614-3879-3_5 fatcat:6e5e6glh2jf3dleucve6h47uzu
« Previous Showing results 1 — 15 out of 40,541 results