Filters








9,038 Hits in 7.3 sec

Model-level, platform-independent debugging in the context of the model-driven development of real-time systems

Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel
2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017  
Model-Level, Platform-Independent Debugging in the Context of the Model-Driven Development of Real-Time Systems.  ...  In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers.  ...  ACKNOWLEDGMENT This work is supported by the Natural Science and Engineering Research Council of Canada, the Ontario Ministry of Research and Innovation, Ericsson Canada, and EfficiOS.  ... 
doi:10.1145/3106237.3106278 dblp:conf/sigsoft/BagherzadehHD17 fatcat:dnjgphnsg5gq5hwporxlniwepa

Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation

Nondini Das, Suchita Ganesan, Leo Jweda, Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel
2016 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16  
This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems.  ...  Customization is performed via a configuration specification which describes the ways in which input is provided to the component, the ways in which runtime execution information can be observed, and how  ...  Acknowledgment This work is supported by the Natural Sciences and Engineering Research Council of Canada (NSERC) and by the Ontario Ministry of Research and Innovation. REFERENCES  ... 
doi:10.1145/2976767.2976781 fatcat:6zafdrrs4faqzkgqykfnglfs4a

Model-Based Debugging of Embedded Software Systems [chapter]

Padma Iyenghar, Elke Pulvermueller, Clemens Westerkamp, Juergen Wuebbelmann, Michael Uelschen
2017 Embedded Software Verification and Debugging  
Model Driven Development (MDD) has been slowly superseding traditional ways of developing embedded software in the recent decade.  ...  In line with the MDD, debugging Real-Time Embedded Software Systems (RTESS) and visualizing their behavior using models such as UML diagrams is becoming a reality.  ...  We also thank the four anonymous reviewers for their valuable comments and suggestions to improve the quality of the paper.  ... 
doi:10.1007/978-1-4614-2266-2_5 fatcat:jfxzmckx3zfrlc6f7g55kf75em

Programming MPSoC platforms: Road works ahead!

R. Leupers, A. Vajda, M. Bekooij, Soonhoi Ha, R. Domer, A. Nohl
2009 2009 Design, Automation & Test in Europe Conference & Exhibition  
Even more important from a SW developer´s viewpoint, at the same time the classical sequential von Neumann programming model needs to be overcome.  ...  Efficient utilization of the MPSoC HW resources demands for radically new models and corresponding SW development tools, capable of exploiting the available parallelism and guaranteeing bug-free parallel  ...  The developed system [4] is data-driven to overcome some limitations of pure time-tiggered systems. In time-triggered systems [3] , timers periodically trigger the start of the task executions.  ... 
doi:10.1109/date.2009.5090917 fatcat:dz4ubgggofc3dnfqlnyknucgsa

Worldsens: Development and Prototyping Tools for Application Specific Wireless Sensors Networks

Antoine Fraboulet, Guillaume Chelius, Eric Fleury
2007 2007 6th International Symposium on Information Processing in Sensor Networks  
In the early stages of the design, high level parameters, like for example the node sleep and activity periods, can be tuned using WS-Net, an event driven wireless network simulator.  ...  WSim can be connected to WSNet, in place of the application and protocol models used during the high level simulation to achieve a full distributed application simulation.  ...  Using this tool, the developer can debug and validate its implementation as well as verify real-time properties of its application.  ... 
doi:10.1109/ipsn.2007.4379677 fatcat:i5g2i6vnvrhl3pnse7hzj4xoki

Worldsens

Antoine Fraboulet, Guillaume Chelius, Eric Fleury
2007 Proceedings of the 6th international conference on Information processing in sensor networks - IPSN '07  
In the early stages of the design, high level parameters, like for example the node sleep and activity periods, can be tuned using WS-Net, an event driven wireless network simulator.  ...  WSim can be connected to WSNet, in place of the application and protocol models used during the high level simulation to achieve a full distributed application simulation.  ...  Using this tool, the developer can debug and validate its implementation as well as verify real-time properties of its application.  ... 
doi:10.1145/1236360.1236385 dblp:conf/ipsn/FrabouletCF07 fatcat:pd7btcqwsvhflktzqcesw5ok4u

MIROS: A Hybrid Real-Time Energy-Efficient Operating System for the Resource-Constrained Wireless Sensor Nodes

Xing Liu, Kun Hou, Christophe de Vaulx, Hongling Shi, Khalid Gholami
2014 Sensors  
In addition; it implements a mid-layer software EMIDE (Efficient Mid-layer Software for User-Friendly Application Development Environment) to decouple the WSN application from the low-level system.  ...  Operating system (OS) technology is significant for the proliferation of the wireless sensor network (WSN).  ...  He also participates in the design of the multi-core hardware platforms. The contributions of Hongling Shi focus on the implementation of the multi-core hardware platforms.  ... 
doi:10.3390/s140917621 pmid:25248069 pmcid:PMC4208242 fatcat:tuf4hzf5mvaidnbs6fktwu224y

Hybrid Real-time Operating System for Resource-constraint Wireless Sensor Nodes

Xing Liu, Kun Mean Hou, Christophe DE Vaulx, Chengcheng Guo, Hongling Shi, Bin Tian
2014 Journal of Software  
By this means, HEROS take advantages of both the event-driven system's low memory resource consumption as well as multithreading system's high real-time performance.  ...  Wireless sensor network (WSN) has been used in widespread domains, and the real-time response is required by many WSN applications.  ...  networks" by the Innovation Fund of Satellite Application Institute in China Aerospace Science and Technology Corporation.  ... 
doi:10.4304/jsw.9.7.1767-1780 fatcat:pcrgraqfxnamlb5mmehrhhnaui

The Next Generation Software Workshop - IPDPS'07

Frederica Darema
2007 2007 IEEE International Parallel and Distributed Processing Symposium  
The topics addressed in the workshop are on research in systems' software technology in the scope of NGS and of the AES and the SMA components, namely: methods for systems modeling and analysis, performance  ...  through the Advanced Execution Systems (AES) and the Systems Modeling and Analysis (SMA) components of the follow-up Computer Systems Research (CSR) Program 1 .  ...  dynamic integration of highly heterogeneous and environments, ranging from real-time data acquisition systems (such as sensors and other instruments) to the high-end computational grids, and driven by  ... 
doi:10.1109/ipdps.2007.370483 dblp:conf/ipps/Darema07 fatcat:tjibsur7lncnxli2nltvy3l7jm

PMG-Pro: A Model-Driven Development Method of Service-Based Applications [chapter]

Selo Sulistyo, Andreas Prinz
2011 Lecture Notes in Computer Science  
In this paper, we propose PMG-pro (present, model, generate and provide), a language independent, bottom-up and model-driven method for the development of such composite system.  ...  In the Internet of Things, billions of networked and softwaredriven devices will be connected to the Internet. They can communicate and cooperate with each other to form a composite system.  ...  The higher the level of hierarchy the more platform-independent the models would be.  ... 
doi:10.1007/978-3-642-25264-8_12 fatcat:bmgzrdatgrd7ldg4pvlyjb6lnq

Platform-based software design flow for heterogeneous MPSoC

Katalin Popovici, Xavier Guerin, Frederic Rousseau, Pier Stanislao Paolucci, Ahmed Amine Jerraya
2008 ACM Transactions on Embedded Computing Systems  
Specific software development platforms (abstract models of the architecture) are generated and used to allow debugging of the different software components with explicit hardware-software interaction.  ...  Programming these architectures usually results in writing separate low-level code for the different processors (DSP, microcontroller), implying late global validation of the overall application with the  ...  As shown in Figure 3 , the software development platform is an abstract model of the architecture in the form of a run-time library or simulator aimed to execute the software [Sangiovanni-Vincetelli  ... 
doi:10.1145/1376804.1376807 fatcat:pacsjturcjfxdmafbhjhcnfqya

Design, implementation, and evaluation of the Resilient Smalltalk embedded platform

Jakob R. Andersen, Lars Bak, Steffen Grarup, Kasper V. Lund, Toke Eskildsen, Klaus Marius Hansen, Mads Torgersen
2005 Computer languages, systems & structures  
Furthermore, we present an evaluation of the Resilient platform in relation to the design goals through a case study of two development projects which successfully used the platform.  ...  At the same time development of embedded systems is very resource-consuming among other due to the lack of support for incremental development and for support for dynamic servicing and upgrading of deployed  ...  We thank the industrial participants in the projects which evaluated the Resilient System.  ... 
doi:10.1016/j.cl.2005.02.003 fatcat:mx7jnadvone6bgp5ar6av66lte

Introduction to Hardware-dependent Software design

Rainer Domer, Andreas Gerstlauer, Wolfgang Muller
2009 2009 Asia and South Pacific Design Automation Conference  
In this paper, we provide a brief overview on the topic of HdS, discuss the issues and complexities involved in the design of HdS, and motivate the need for special attention to HdS in research and development  ...  Due to the rapidly increasing software content in embedded systems, Hardware-dependent Software (HdS) has become a critical topic in system design.  ...  CONCLUSION Multi-and many-core HdS implementation, debugging, and verification impose significant complexities in the context of reliable and safe embedded real-time systems.  ... 
doi:10.1109/aspdac.2009.4796495 dblp:conf/aspdac/DomerG009 fatcat:th76346wwbdrzdqi4yzeqai5yi

CIRANO: An Integrated Programming Environment for Multi-tier Cloud Based Applications

George Fylaktopoulos, Georgios Goumas, Michael Skolarikis, Aris Sotiropoulos, Dimitrios Athanasiadis, Ilias Maglogiannis
2015 Procedia Computer Science  
This paper describes the CIRANO platform, a cloud Integrated Development Environments (IDE) that substantially supports Model Driven Development (MDD) and team collaboration, in order to facilitate the  ...  The main features of the proposed platform are presented as a case study application concerning the update and porting of an existing collaboration system, called Comidor.  ...  Acknowledgment The work reported here has been carried out in the framework of national project Cloud IDE for JPlaton Open  ... 
doi:10.1016/j.procs.2015.09.222 fatcat:r5bwc6dff5an5jwxvi2wwzbwam

Application of full-system simulation in exploratory system design and development

J. L. Peterson, P. J. Bohrer, L. Chen, E. N. Elnozahy, A. Gheith, R. H. Jewell, M. D. Kistler, T. R. Maeurer, S. A. Malone, D. B. Murrell, N. Needel, K. Rajamani (+4 others)
2006 IBM Journal of Research and Development  
In this paper, we describe features of the simulation environment and present examples of its application in the context of the Sony-Toshiba-IBM Cell and IBM PERCS development projects.  ...  This environment enables the development and tuning of production-level operating systems, compilers, and critical software support well in advance of hardware availability, which can significantly shorten  ...  It allows new features to be prototyped quickly and evaluated in the context of a full-system simulation.  ... 
doi:10.1147/rd.502.0321 fatcat:dqd6h3lwvjdj3jk7u5bbiswnbi
« Previous Showing results 1 — 15 out of 9,038 results