274,348 Hits in 5.2 sec

Task construction for model-based design of embedded control software

S. Wang, K.G. Shin
2006 IEEE Transactions on Software Engineering  
Constructing runtime tasks, or operating system-level processes/threads, from the components of software design models is crucial to the model-based development of embedded control software.  ...  A better method should explore more design choices and reduce the overheads of the runtime system to meet the timing and resource constraints of embedded control software.  ...  CONCLUSIONS Task construction using software design models is essential to model-based embedded control software development.  ... 
doi:10.1109/tse.2006.39 fatcat:i7fmfuysxvcobpmtjkubhg2dg4

A Solution Based on Modeling and Code Generation for Embedded Control System

Guohua WU, Dongwu CHENG, Zhen ZHANG
2009 Journal of Software Engineering and Applications  
In this paper, we proposed development architecture for embedded control systems based on MIC.  ...  With the development of computer technology, embedded control system plays an important role in modern industry.  ...  In this paper, we proposed an embedded control system development framework based on domain-specific modeling.  ... 
doi:10.4236/jsea.2009.23023 fatcat:a7alz2mxjvh2tadtl2adw534xq

VERTAF: an application framework for the design and verification of embedded real-time software

Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jin-Ming Fu, Win-Bin See
2004 IEEE Transactions on Software Engineering  
view -Logical model of an application object Embedded real-time object (ERTO) • Port-based object (PBO) • Time-triggered message-triggered object (TMO) Syntax of ETRO Semantics of ETRO 2006  ...  2) Introduction(1/2) Design of embedded real-time software Code generators Modelers Analyzers Frameworks Integrated design and verification environment 2006-05-30 Software Engineering Lab  ... 
doi:10.1109/tse.2004.68 fatcat:nmeddcxwrvcixllveopvfohfqu

Embedded-Model-Based Control

Sabri Cetinkunt, Shin-ichi Nakajima, Brad Nelson, Salem Haggag
2013 Journal of Control Science and Engineering  
In Phase 2, the "same control software" is tested on a target embedded control module (ECM).  ...  HIL is the testing and validation engineering process between pure software simulation (100% software) and pure hardware (100% actual machine) with all its hardware and embedded software, where some of  ... 
doi:10.1155/2013/237897 fatcat:wyz4yshg2bgotmbgf3xua4rwuu

A systematic review of software architecture evolution research

Hongyu Pei Breivold, Ivica Crnkovic, Magnus Larsson
2012 Information and Software Technology  
Rikard Land, Jan Carlson, Stig Larsson, Ivica Crnkovic: Project Monitoring and Control In Model-Driven and Component-Based Development of Embedded Systems: The CARMA Principle and Preliminary Results  ...  Ivica Crnkovic, Ivano Malavolta, Henry Muccini : A Model-Driven Engineering Framework for Component Models Interoperability, Proceedings of the 12th International Symposium on Component-Based Software  ... 
doi:10.1016/j.infsof.2011.06.002 fatcat:s5bnlfwotfgdfji24oxlsf6mka

Trends in Embedded Software Engineering

Peter Liggesmeyer, Mario Trapp
2009 IEEE Software  
Here, we identify specific characteristics of embedded software, describe the paradigm of model-driven software engineering, and describe challenges and solutions to assure the quality of embedded software  ...  Trends in Embedded Software Engineering embedded software safety model and the traceability to the design models.  ...  His research interests include model-driven development of highintegrity embedded systems and safety-engineering techniques.  ... 
doi:10.1109/ms.2009.80 fatcat:tpfekrh74zhijlqoygvvgqgww4

The synergistic integration of mathematics, software engineering, and user-centred design: exploring new trends in education

C. Angelov, R.V.N. Melnik, J. Buur
2003 Future generations computer systems  
In this paper, we describe the key curriculum activities at the University of Southern Denmark that combine mathematical modelling, software engineering, and user-centred design courses.  ...  , will be capable of fostering further the progress in computational science and engineering.  ...  This requires a truly engineering approach for embedded software development that is based on control engineering and systems science concepts, rather than on conventional software design methods.  ... 
doi:10.1016/s0167-739x(03)00088-8 fatcat:y4v6mq2l6rdbraijcrai42dg7q

Scanning the issue - Special issue on modeling and design of embedded software

S. Sastry, J. Sztipanovits, R. Bajcsy, H. Gill
2003 Proceedings of the IEEE  
Teams, Model-Based Integration of Embedded Software, and Networked Embedded Software Technology programs.  ...  Model-based programming supports modularity by enabling engineers to program reactive systems by specifying high-level control strategies and by simply articulating and plugging together commonsense models  ... 
doi:10.1109/jproc.2002.805816 fatcat:oojvo26vgrgx5d5ftujefie2ja

A Flexible Virtual Development Environment for Embedded Systems

Sang-Young Cho, Yoojin Chung, Jeong-Bae Lee
2007 2007 Fifth Workshop on Intelligent Solutions in Embedded Systems  
Shorten the development time Initial verification of SW/HW Predicts performance values and guides a final design Virtual hardware model & Simulation engine Software development tools & Software  ...  for PDA uCOS-II based programming Flexible Environment SystemC Engine is attached to ASB bus SystemC HW IP models SystemC Engine is attached to AxD with RDI 1.5.1 Only SystemC models User Interface  ... 
doi:10.1109/wises.2007.4408499 dblp:conf/wises/ChoCL07 fatcat:gxebudto7baefej6tmjietak2a

Trends in software and control

2003 IEEE Control Systems  
engineering, composability, design patterns, distributed embedded systems, domain engineering, embedded systems, frameworks, integration, life cycles, model-based software engineering, modular systems  ...  Real-time Unified Modeling Language (UML, the modeling language of reference in the software engineering community) will potentially provide us with methods for modeling real-time embedded systems in such  ... 
doi:10.1109/mcs.2003.1200238 fatcat:rsybvc4xfrhubourqeqtl3b3cy

The Discipline of Embedded Systems Design

Thomas A. Henzinger, Joseph Sifakis
2007 Computer  
At the other, embedded systems design goes beyond the traditional expertise of electrical engineers because computation and software are integral parts of embedded systems.  ...  has kept the potential of embedded systems at bay.  ...  Acknowledgments An earlier version of this article appeared as "The  ... 
doi:10.1109/mc.2007.364 fatcat:qvwikwqfovbchkjk5o6ltaq5re

Model-Based Verification of Embedded Software

Hesham Shokry, Mike Hinchey
2009 Computer  
Acknowledgment This work was supported in part by Science Foundation Ireland grant 03/CE2/I303_1 to Lero-the Irish Software Engineering Research Centre (  ...  MODEL-BASED VERIFICATION OF EMBEDDED SOFTWARE control systems. Here they describe the mathematical algorithms necessary for processing signals that control, for example, an electromechanical system.  ...  This model is then delivered to the embedded-software engineering team to be embedded in an ECU.  ... 
doi:10.1109/mc.2009.125 fatcat:rph74ygw4rd2pbilmfc34bipke

Model-based Methodologies for Pervasive and Embedded Software

Joao M. Fernandes, Ricardo J. Machado, Luis C. Lamb, Flavio R. Wagner
2009 2009 31st International Conference on Software Engineering - Companion Volume  
Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009 ) is the 6th edition of a workshop series.  ...  The workshops focus on the theoretical and practical aspects related to the adoption of model-based development methodologies for supporting the construction of software for pervasive and embedded systems  ...  The first paper "Applying Software Product Line Techniques in Model-based Embedded Systems Engineering", by Polzer, Kowalewski and Botterweck, addresses variability in the domain of software-based control  ... 
doi:10.1109/icse-companion.2009.5071053 dblp:conf/icse/FernandesMLW09 fatcat:bkzxth4zpna6fkoc6isyd2wh3i

Model-based systems engineering with requirements variability for embedded real-time systems

Mole Li, Firat Batmaz, Lin Guan, Alan Grigg, Matthew Ingham, Peter Bull
2015 2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE)  
Model-based systems engineering with requirements variability for embedded real-time systems.  ...  This paper has proposed a method that supports a combination of variability modelling (which is a key feature of PLE) and model-based requirement engineering for Embedded RTS.  ...  Therefore the aim of this paper is to propose a practical variability modelling method that can be combined with model-based requirement engineering in the Embedded RTS domain.  ... 
doi:10.1109/modre.2015.7343874 dblp:conf/re/LiBGGIB15 fatcat:mxrsdo2oa5gxdmqtvi2bwlgl7y

Code Generation for Verified Model based Embedded Systems

Pravin Y Karmore, Pradeep K Butey
2016 International Journal of Engineering Research and  
In this paper we analyses the different approaches for verification of model based embedded system requirements.  ...  Verification and code generation will be more helpful for the development of safety-critical embedded systems. Modeling languages can be used to develop reliable embedded software code.  ...  Model based design (MBD) is based on the efficient use of models as a primary objective throughout the software engineering life cycle.  ... 
doi:10.17577/ijertv5is060316 fatcat:wufiymqlyzhehgleb76e6tcnp4
« Previous Showing results 1 — 15 out of 274,348 results