A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Model-level, platform-independent debugging in the context of the model-driven development of real-time systems
2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017
Preserved Fulltext
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
2016
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Embedded Software Verification and Debugging
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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!
2009
2009 Design, Automation & Test in Europe Conference & Exhibition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
2007 6th International Symposium on Information Processing in Sensor Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 6th international conference on Information processing in sensor networks - IPSN '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
2007 IEEE International Parallel and Distributed Processing Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2008
ACM Transactions on Embedded Computing Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Computer languages, systems & structures
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 Asia and South Pacific Design Automation Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
IBM Journal of Research and Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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