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.
Filters
A METHOD FOR THE DEVELOPMENT OF PLATFORM MODELS IN THE MODEL DRIVEN ARCHITECTURE CONTEXT
2012
Journal of Computer Science
Preserved Fulltext
This study proposes a method called PM-MDA for the development of platform models that design embedded software based on RTOS in the context of MDA. ...
The application of the Model Driven Architecture (MDA) approach to the design of embedded software based on Real-Time Operating Systems (RTOS) is encouraged by the fact that such software has a wide variety ...
In this study, we propose the integration of platform models for RTOS embedded systems into the MDA approach. ...
doi:10.3844/jcssp.2012.1932.1939
fatcat:nm5ri442tfdrretqwwseb6awnm
Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation
2008
Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis - CODES/ISSS '08
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.
Instruction set simulation and real time operating system modeling have become important issues for the design of distributed embedded systems. ...
This paper presents a holistic approach to simulate a distributed, embedded system that includes target software, processing units, and abstract RTOS within a virtual prototype environment. ...
The authors of [27] present a proprietary co-simulation approach that combines an ISS with an RTOS model. This approach is based ...
doi:10.1145/1450135.1450168
dblp:conf/codes/KrauseEBR08
fatcat:jpdks7p5ifcwpfuphypewx3dsu
A Co-design Flow for Reconfigurable Embedded Computing System with RTOS Support
2009
2009 International Conference on Embedded Software and 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.
The special requirements for reconfigurable embedded systems with RTOS support are analyzed, and a novel co-design flow is proposed in this paper. ...
functionally equivalent pure software design. .Keywords: Reconfigurable embedded computing system, Co-Design Flow, RTOS Support, unified hardware task interface I. 2009 International Conferences on Embedded ...
RTOS for reconfigurable computing system
RTOS introduces an abstract layer between
the application designer and the systems
software. ...
doi:10.1109/icess.2009.84
dblp:conf/icess/WangCWP09
fatcat:fcc56g4en5astddbmwfvra4jgm
Application of Platform Models in Model Driven Engineering of Embedded Software
2015
Journal of 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 2019; you can also visit the original URL.
The file type is application/pdf.
This paper presents two UML 2.0 profiles for designing embedded software based on Real-Time Operating Systems (RTOS). ...
The first profile, named Application Modeling Profile (AMP), defines the necessary elements for the application modeling. ...
The UML profile Modeling and Analysis of Real-Time and Embedded systems (MARTE) (MARTE, 2008) provides a dedicated sub-profile for the development of Real-Time Embedded Systems, called Software Resource ...
doi:10.3844/jcssp.2015.1075.1081
fatcat:zoevtpjfhfa3tnabwciehrk6ie
Exploring SW performance using preemptive RTOS models
2010
Proceedings of 2010 21st IEEE International Symposium on Rapid System Protyping
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 2012; you can also visit the original URL.
The file type is application/pdf.
In this paper, we introduce two means to improve accuracy of SW performance modeling: a preemptive RTOS model, and the modeling of system overhead. ...
With increasing SW content of modern SoC designs, modeling of embedded SW has become critical. ...
The author thanks for the ESE and SCE development teams of the Center for Embedded Computer Systems for their excellent support. ...
doi:10.1109/rsp.2010.5656350
dblp:conf/rsp/Schirner10
fatcat:jjwkq37tmjd2dlwbtwhahdagae
RTOS-aware refinement for TLM2.0-based HW/SW designs
2010
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
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.
driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions ...
This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device ...
of embedded SW and RTOS, in the system model. ...
doi:10.1109/date.2010.5456965
dblp:conf/date/BeckerGF0PX10
fatcat:h4sc5aol6rahxdz3e4ra5t6g7y
System-level development of embedded software
2010
2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC)
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.
Embedded software plays an increasingly important role in implementing modern embedded systems. ...
It generates the application code, communication drivers, and an adaptation to a chosen RTOS. It completes the process by producing the final target binary for each processor. ...
ACKNOWLEDGMENTS The authors thank the SCE research team at the Center for Embedded Computer Systems at UC Irvine. ...
doi:10.1109/aspdac.2010.5419674
dblp:conf/aspdac/SchirnerGD10
fatcat:m53roy23evhqtfahzetnu5r5qy
MT-AMP: A Model Transformation for Embedded Software
2016
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 2018; you can also visit the original URL.
The file type is application/pdf.
Key words: Model driven architecture, model transformation, platform model, real-time operating systems. transformations of a model into another. ...
This RTOS is structured in modules, including: microkernel, hardware abstraction layer (X-HAL), shell, event tracing, TCP/IP stack, and USB stack. ...
Such initiatives aim at the design and use of Platform Models, although they do not provide specific artifacts for modeling RTOS-based embedded systems services. ...
doi:10.17706/jsw.11.3.326-337
fatcat:hthm3ojy25dhrgqy2nbigr5g4i
HeroeS: Virtual platform driven integration of heterogeneous software components for multi-core real-time architectures
2013
16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)
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 includes host-compiled target SW abstraction, abstract RTOS and Hardware Abstraction Layer (HAL) models in SystemC, extended QEMU user and system mode emulation and TLM 2.0 bus models. ...
We take into account current system-level methodologies such as Transaction Level Modeling (TLM) and Real-Time Operating System (RTOS) modeling. ...
RTOS and HAL models and TLM 2.0 based system bus abstraction. ...
doi:10.1109/isorc.2013.6913192
dblp:conf/isorc/BeckerK013
fatcat:td4gfdccerespbuxlfhh4ko7e4
Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support
[chapter]
2009
IFIP Advances in Information and Communication Technology
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.
This paper presents a technique for automatically generating cycle-approximate transaction level models (TLMs) for multi-process applications mapped to embedded platforms. ...
Our abstract RTOS provides dynamic scheduling and inter-process communication (IPC) with processor-and RTOS-specific pre-characterized timing. ...
Acknowledgment We would like to thank the Center for Embedded Computer Systems at University of California, Irvine for supporting this research. ...
doi:10.1007/978-3-642-04284-3_7
fatcat:rstqr6nd2rgepepft6g2z6i2ca
Assertion-based verification of RTOS properties
2010
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
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 presents a complementary approach for the verification of RTOS properties based on an abstract RTOS-Model in SystemC. ...
Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) residing on one or several processors ...
For abstract RTOS simulation our aRTOS library implements an abstract canonical RTOS model [4] that is based on SystemC [20] . ...
doi:10.1109/date.2010.5457130
dblp:conf/date/OliveiraZ010
fatcat:u5y42s3bq5g5ji5s6t36b2tttm
A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach
2009
2009 International Conference on Embedded Software and 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.
System-level software modelling and simulation have become important techniques for real-time embedded system early design space exploration. ...
I. 2009 International Conferences on Embedded Software and Systems 978-0-7695-3678-1/09 $25.00 ...
For abstract RTOS modelling, since these "abstract and generic" sub-models are not the same as the implementation codes for a target system, it is meaningless to use an accurate profiling technique to ...
doi:10.1109/icess.2009.9
dblp:conf/icess/YuA09
fatcat:vtq5yjfggjdoxcurk7itc33kly
RTOS scheduling in transaction level models
2003
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign & system synthesis - CODES+ISSS '03
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 2007; you can also visit the original URL.
The file type is application/pdf.
While scheduling decision for embedded software has great impact on system performance, it's much desired that the designer can select the right scheduling algorithm at high abstraction levels so as to ...
In this paper we tackle this problem by introducing a RTOS model and an approach to refine any unscheduled transaction level model (TLM) to a TLM with RTOS scheduling support. ...
Related Work A lot of work recently has been focusing on automatic RTOS and code generation for embedded software. ...
doi:10.1145/944650.944653
fatcat:euwdw67hszf2lgoziynb5i4mgq
RTOS scheduling in transaction level models
2003
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign & system synthesis - CODES+ISSS '03
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 2007; you can also visit the original URL.
The file type is application/pdf.
While scheduling decision for embedded software has great impact on system performance, it's much desired that the designer can select the right scheduling algorithm at high abstraction levels so as to ...
In this paper we tackle this problem by introducing a RTOS model and an approach to refine any unscheduled transaction level model (TLM) to a TLM with RTOS scheduling support. ...
Related Work A lot of work recently has been focusing on automatic RTOS and code generation for embedded software. ...
doi:10.1145/944645.944653
dblp:conf/codes/YuGG03
fatcat:cc5dxxp3vfes7oryjq7evkdtt4
Operating system based software generation for systems-on-chip
2000
Proceedings of the 37th conference on Design automation - DAC '00
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 propose a system-level design environment, aimed at System-on-Chip (SOC) designs, including real-time embedded software. ...
While many SOC modeling languages originate from hardware description languages, and thus tend to describe statical architectures, we observe that embedded software makes SOC designs essentially dynamic ...
The work was made possible thanks to the close collaboration with the system engineers in Alcatel Microelectronics. ...
doi:10.1145/337292.337509
dblp:conf/dac/DesmetVM00
fatcat:yshxomsojfg5pjdxmzvd2qx35m
« Previous
Showing results 1 — 15 out of 2,493 results