Filters








21,882 Hits in 5.8 sec

Automatic Synthesis and Verification of Real-Time Embedded Software [chapter]

Pao-Ann Hsiung, Shang-Wei Lin
2004 Lecture Notes in Computer Science  
Component reuse is based on a formal UML real-time embedded object model.  ...  In this work, we reveal the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF) 1 , which integrates software component-based  ...  Our implementation has resulted in a Verifiable Embedded Real-Time Application Framework (VERTAF) whose features include formal modeling of real-time embedded systems through well-defined UML semantics  ... 
doi:10.1007/978-3-540-30121-9_2 fatcat:bkmrzrc2c5do3goizu6nxwnfky

Real-Time Embedded Software Design for Mobile and Ubiquitous Systems

Pao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin
2008 Journal of Signal Processing Systems  
In this work, we present the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates three techniques namely  ...  Currently available application frameworks that target at the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for mobile and ubiquitous  ...  Our implementation has resulted in a Verifiable Embedded Real-Time Application Framework (VERTAF) whose features include formal modeling of real-time embedded systems through well-defined UML semantics  ... 
doi:10.1007/s11265-008-0268-5 fatcat:27uddispifgljiywyamnltxdia

Formal Design and Verification of Real-Time Embedded Software [chapter]

Pao-Ann Hsiung, Shang-Wei Lin
2004 Lecture Notes in Computer Science  
Component reuse is based on a formal UML real-time embedded object model.  ...  In this work, we reveal the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates three techniques namely  ...  Our implementation has resulted in a Verifiable Embedded Real-Time Application Framework (VERTAF) whose features include formal modeling of real-time embedded systems through well-defined UML semantics  ... 
doi:10.1007/978-3-540-30477-7_26 fatcat:duvley43yfbwjddai2turqeifa

Resource virtualization in real-time CORBA middleware

Christopher D. Gill
2006 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis - CODES+ISSS '06  
Providing such a consistent virtualization in distributed real-time and embedded systems becomes increasingly challenging due to application constraints such as timeliness and resource constraints such  ...  Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more abstract and consistent view of those resources is presented to the applications  ...  We used ACE classes to develop the nORB real-time small footprint ORB [50] , whose features are selected for a networked embedded real-time systems sub-domain.  ... 
doi:10.1145/1176254.1176299 dblp:conf/codes/Gill06 fatcat:t2iygl7vwngvheppkc5vintcce

Hierarchical Integration of Runtime Models [chapter]

Cheng Xie, Wenzhi Chen, Jiaoying Shi, L ü Ye
2005 Lecture Notes in Computer Science  
The complexity of embedded applications is growing rapidly. Mainstream software technology is facing serious challenges for leaving out non-functional aspects of embedded systems.  ...  The functionality of embedded system is modeled as netlist. The communication among components is modeled as token flow.  ...  Ptolemy II [2] supports the modeling, simulation, and design of concurrent, real-time, embedded systems.  ... 
doi:10.1007/11535409_86 fatcat:mztvtoz7wvc2lna4m4kygcf22e

Towards migrating legacy real-time systems to multi-core platforms

Farhang Nemati, Johan Kraft, Thomas Nolte
2008 2008 IEEE International Conference on Emerging Technologies and Factory Automation  
Developers of embedded real-time systems however hesitates a shift to multi-core processors, especially for existing "legacy" systems which have been developed with single-core processor assumptions.  ...  In this paper we investigate challenges of migrating complex legacy real-time systems to multi-core architectures. We propose componentization and partitioning to prepare the migration.  ...  The grey-box modeling approach for designing real-time embedded systems [12] is of relevance to our work.  ... 
doi:10.1109/etfa.2008.4638477 dblp:conf/etfa/NematiKN08 fatcat:r4yjlh5ezbdi5epeoymucmgtei

A real-time software framework for indoor navigation

F. Pont, R. Siegwart
2005 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems  
We introduce an initial implementation of a realtime component-based software framework for autonomous mobile robots.  ...  Based on an indoor navigation case study we evaluate the advantages and the limitations of the framework in terms of ease of use, modularity and real-time capabilities.  ...  Moreover, the authors would like to thank Agostino Martinelli, Viet Nguyen and Anthony Mallet for their precious contributions to the framework and to the indoor navigation case study.  ... 
doi:10.1109/iros.2005.1545524 dblp:conf/iros/PontS05 fatcat:hcemdk65qzam7ile7uxjozvi74

A Lightweight Application Framework for Web Enabled Embedded Systems

Ahmed I.Sharaf, Ahmed E. Hassan
2013 International Journal of Computer Applications  
These limitations represent a challenge for embedded system developers. In this paper, a lightweight application framework for embedded systems is presented.  ...  The spread of embedded systems is growing in very rapidly. Embedded systems are usually suffering from limited resources in terms of processing power, power consumption, memory and storage.  ...  Also Jakobsson et al developed a TCP/IP stack for a real time embedded systems [14] . Adams Dunkels presented two proposals for this problem which are called UIP and IwIP [15] .  ... 
doi:10.5120/12362-8682 fatcat:5ids2zxa4reg3csuw4dtkeavge

System Software Abstraction Layer - much more than Operating System Abstraction Layer

Sunita Singh, Bineesh K., Satish K.
2013 Defence Science Journal  
Authors acknowledge their gratitude towards the members of System Software Division (SSD), Technology Group of Defence Avionics Research Establishment (DARE) for their interactive support from time to  ...  time.  ...  The main use of this layer is to isolate the embedded software from the real-time operating system (RTOS) so as to make it portable across all possible RTOS.  ... 
doi:10.14429/dsj.63.4267 fatcat:yyfk7gnwgndstgfkngp3r6qgdm

Data-Driven Stream Mining Systems for Computer Vision [chapter]

Shuvra S. Bhattacharyya, Mihaela van der Schaar, Onur Atan, Cem Tekin, Kishan Sudusinghe
2014 Advances in Computer Vision and Pattern Recognition  
In this chapter, we discuss the state of the art and future challenges in adaptive stream mining systems for computer vision.  ...  Adaptive stream mining in this context involves the extraction of knowledge from image and video streams in real-time, and from sources that are possibly distributed and heterogeneous.  ...  Acknowledgments This work is supported by the US Air Force Office of Scientific Research under the DDDAS Program.  ... 
doi:10.1007/978-3-319-09387-1_12 fatcat:am4bf2g7tjbd3h3vefpeaxvvum

Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems

Pao-Ann Hsiung, Shang-Wei Lin
2008 Computer languages, systems & structures  
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for mobile and ubiquitous systems  ...  Component reuse is based on a formal unified modeling language (UML) real-time embedded object model.  ...  a real-time embedded system.  ... 
doi:10.1016/j.cl.2007.06.002 fatcat:quqshvzry5d2zlkaimtu6biatu

Automatic Synthesis and Verification of Real-Time Embedded Software for Mobile and Ubiquitous Systems [chapter]

Pao-Ann Hsiung, Shang-Wei Lin
2012 Handbook on Mobile and Ubiquitous Computing  
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for mobile and ubiquitous systems  ...  Component reuse is based on a formal unified modeling language (UML) real-time embedded object model.  ...  a real-time embedded system.  ... 
doi:10.1201/b13081-22 fatcat:55v5dtxmozerbo53zcuy4zmhgi

Knowledge-Based Control of Reactive Systems with Multi-Layer Architecture

P. Matyasik, G. J. Nalepa
2007 2007 14th International Conference on Mixed Design of Integrated Circuits and Systems  
This paper presents a concept of an integrated development platform for fast and error-free implementation of embedded intelligent systems.  ...  The main idea reside in dividing the control program into separate logic layers. The lowest-level layer uses embedded real-time operating system.  ...  Future research will be concentrated on improving the visual representation of the knowledge in editor, and extending real-time control features provided by the HexorNG environment. THE AUTHORS  ... 
doi:10.1109/mixdes.2007.4286247 fatcat:jo3quengbfdfvh2euio5djte6q

Designing an interface for real-time and embedded DEVS

Mohammad Moallemi, Gabriel Wainer
2010 Proceedings of the 2010 Spring Simulation Multiconference on - SpringSim '10  
In this work, we are proposing a hardware-in-the-loop model-driven method to develop real-time and embedded applications based on DEVS (Discrete Event Systems Specification) formalism.  ...  This framework can be used to develop embedded applications incrementally, and integrate simulation models with hardware components seamlessly.  ...  We propose a Model-driven framework to develop embedded systems based on DEVS formalism [3] . DEVS provides a formal foundation to M&S which proved to be successful in different complex systems.  ... 
doi:10.1145/1878537.1878680 fatcat:rpur4vy4dbbndgoshvmyervpvm

Model-driven development of ARINC 653 configuration tables

Akos Horvath, Daniel Varro
2010 29th Digital Avionics Systems Conference  
Model-driven development (MDD) has become a key technique in systems and software engineering, including the aeronautic domain.  ...  However, on one hand, the use of model-driven approaches for the development of configuration data is not as widely used as for source code synthesis.  ...  This work was mainly supported by the EC FP6 DIANA (AERO1-030985) European project, however, the validation of traceability by contracts research direction was also partially supported by the Hungarian  ... 
doi:10.1109/dasc.2010.5655322 fatcat:667hk3yxd5em5ibbjtu4i2b54u
« Previous Showing results 1 — 15 out of 21,882 results