Filters








367,957 Hits in 5.0 sec

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  
generation -Embedded real-time object model Proposed for users to implant application domain objects into the application framework Well designs are needed Model checking -Automatic state-based analysis  ...  Engineering Lab, KAIST 11/21 Embedded real Embedded real - -time software scheduling(1/2) time software scheduling(1/2) Purpose -Embedded real-time software scheduling Issue • How are memory  ... 
doi:10.1109/tse.2004.68 fatcat:nmeddcxwrvcixllveopvfohfqu

Designing VM schedulers for embedded real-time applications

Alejandro Masrur, Thomas Pfeuffer, Martin Geier, Sebastian Drössler, Samarjit Chakraborty
2011 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '11  
Virtual Machines (VMs) allow for platform-independent software development and their use in embedded systems is increasing.  ...  In this paper, we study the design of a real-time system based on a VM monitor/hypervisor that supports multiple VMs/domains.  ...  Acknowledgements: We would like to thank the reviews for their comments and contributions to this paper.  ... 
doi:10.1145/2039370.2039378 dblp:conf/codes/MasrurPGDC11 fatcat:cxtmrqzpc5dolhclgfh527b5aa

A Decision Support Framework for the Choice of Languages and Methods for the Design of Real Time Embedded Systems

Valéry M. Monthe, Laurent Nana, Georges E. Kouamou, Claude Tangha
2016 Journal of Software Engineering and Applications  
The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems.  ...  This article contributes to answer the question, by proposing an approach based on a multi-criteria comparative study, of few languages and methods dedicated to the design of real time and embedded systems  ...  help in the design of embedded real-time applications.  ... 
doi:10.4236/jsea.2016.97025 fatcat:cvdgqjuisbfilf5p3qgp6fd2kq

Component allocation with multiple resource constraints for large embedded real-time software design

Shige Wang, J.R. Merrick, K.G. Shin
Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004.  
Allocating software components while meeting multiple platform resource constraints is crucial for model-based design of large embedded real-time software and automatic design model transformation.  ...  Our evaluation based on randomly-generated design models has shown that the proposed method scales well for large and complex embedded real-time software. © Q¦ defines the computation resource consumption  ...  of embedded real-time software.  ... 
doi:10.1109/rttas.2004.1317267 dblp:conf/rtas/WangMS04 fatcat:blmc6ckucbglbasltfyzyguma4

Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications

C. Pinello, L.P. Carloni, A.L. Sangiovanni-Vincentelli
Proceedings Design, Automation and Test in Europe Conference and Exhibition  
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions.  ...  , for instance, in automotive applications).  ...  Introduction The increasing role of embedded software in real-time feedback-control systems drives the demand for fault-tolerant design methodologies [20] .  ... 
doi:10.1109/date.2004.1269049 dblp:conf/date/PinelloCS04 fatcat:4r2icco6cnagtndmvbj64vjvwm

A formal design and implementation method for real-time embedded systems

S. Bradley, W. Henderson, D. Kendall, A. Robson, S. Hawkes
Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies  
Many formal methods for real-time systems have been proposed, but this technique (AORTA) is one of the few to address the issue of how formal designs are to be implemented.  ...  This paper tackles the problem of using formal methods for practical real-time system development and veri cation, and is based on a real example.  ...  Conclusions There is a pressing need for reliable methods of designing and implementing embedded real-time software.  ... 
doi:10.1109/eurmic.1996.546368 dblp:conf/euromicro/BradleyHKRH96 fatcat:h7g4wn2bczhg5angr6lwmqwfem

Accelerating embedded image processing for real time: a case study

Sol Pedre, Tomáš Krajník, Elías Todorovich, Patricia Borensztejn
2013 Journal of Real-Time Image Processing  
This case study shows the usefulness of the proposed methodology for embedded real-time image processing applications.  ...  The goal of this methodology is to achieve real-time embedded solutions, using hardware acceleration, but achieving development time similar to that of software projects.  ...  This case study shows the usefulness of the proposed methodology for embedded real-time image processing applications.  ... 
doi:10.1007/s11554-013-0353-2 fatcat:kef6ujmg35gunm2cax6bzsr6qq

Special issue: Real-Time and Embedded Computing Systems

Seongsoo Hong
2005 Journal of Embedded Computing  
This inaugural special issue of the Journal of Embedded Computing was prompted by the importance of real-time and embedded systems design technologies.  ...  Eight outstanding papers were selected from the ninth International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2003) held in February, 2003 and one paper was invited  ...  As embedded systems applications are more commonly deployed in an open environment such as the Internet, real-time guarantees for aperiodic requests become an important aspect in embedded system design  ... 
dblp:journals/jec/Hong05 fatcat:rgcsebzuirga5mfckg2w6srg3u

Platform-Based Design Approach for Embedded Vision Applications

Jai Gopal Pandey, Abhijit Karmakar, Chandra Shekhar, S. Gurunarayanan
2013 Journal of Image and Graphics  
We have also implemented a real-time image and video acquisition module for a smart camera system.  Index Terms-Platform-based design; Embedded vision system; Video acquisition; Real-time image and video  ...  The platform-based design has recently gained in importance which allows to explore the trade-offs between various designs requirements for the hardware and software implementation of real-time image and  ...  & Information Technology (MCIT), Government of India sponsored project "Special Manpower Development for VLSI Design and Related Software (SMDP)."  ... 
doi:10.12720/joig.1.1.1-6 fatcat:ap6ghkscz5cbdjl7wbwbpdpddm

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

Pao-Ann Hsiung, Shang-Wei Lin
2004 Lecture Notes in Computer Science  
Currently available application frameworks that target at the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements.  ...  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  ...  Other issues encountered in architecting an application framework for real-time embedded software are as follows. 1.  ... 
doi:10.1007/978-3-540-30121-9_2 fatcat:bkmrzrc2c5do3goizu6nxwnfky

Embedded systems courses at RIT

Roy S. Czernikowski, James R Vallino
2005 Proceedings of the 2005 workshop on Computer architecture education held in conjunction with the 32nd International Symposium on Computer Architecture - WCAE '05  
A three-course sequence of cross-disciplinary real-time and embedded systems courses has been introduced at RIT • .  ...  The courses introduce students to programming both microcontrollers and more sophisticated targets, use of a commercial real-time operating system and development environment, modeling and performance  ...  system • Development for Embedded Target Systems • Design Patterns for Real-Time Systems • Language Support for Real-TimeReal-Time and Embedded Systems Taxonomy • Safety Critical Systems Table 3  ... 
doi:10.1145/1275604.1275609 dblp:conf/wcae/CzernikowskiV05 fatcat:7iriyx6qbffsrm7rfjyhm6ij4m

System-level hardware/software trade-offs

Samuel P. Harbison
1999 Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99  
It is time for embedded processor designers to become more involved with system software and tools.  ...  Operating systems and development tools can impose overly general requirements that prevent an embedded system from achieving its hardware performance entitlement.  ...  OPERATING SYSTEM ISSUES With so many embedded processor families and so many ways of designing real-time software, a real-time operating system (RTOS) must mediate between two sets of abstractions.  ... 
doi:10.1145/309847.309924 dblp:conf/dac/Harbison99 fatcat:nnpdgnbhpze5jibvat7mq7aive

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  
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  ...  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  ...  UML Modeling Three UML [9] diagrams are extended for real-time embedded software specification as follows.  ... 
doi:10.1007/s11265-008-0268-5 fatcat:27uddispifgljiywyamnltxdia

Field-Programmable Gate Arrays in Embedded Systems

Miriam Leeser, Scott Hauck, Russell Tessier
2006 EURASIP Journal on Embedded Systems  
FPGA floorplanning plays an important role in achieving real-time performance. A common application for FPGAs is image processing algorithms.  ...  The remaining papers address applications and tools for embedded systems design. The applications presented here are typical of the spectrum of FPGA applications.  ... 
doi:10.1186/1687-3963-2006-051312 fatcat:yyantjgk4vcmtguav5dsnqllha

Field-Programmable Gate Arrays in Embedded Systems

Miriam Leeser, Scott Hauck, Russell Tessier
2006 EURASIP Journal on Embedded Systems  
FPGA floorplanning plays an important role in achieving real-time performance. A common application for FPGAs is image processing algorithms.  ...  The remaining papers address applications and tools for embedded systems design. The applications presented here are typical of the spectrum of FPGA applications.  ... 
doi:10.1155/es/2006/51312 fatcat:bso4y6v2nba67plp5smihv6nky
« Previous Showing results 1 — 15 out of 367,957 results