Filters








18,474 Hits in 6.6 sec

Task generation and compile-time scheduling for mixed data-control embedded software

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto Sangiovanni-Vincentelli
2000 Proceedings of the 37th conference on Design automation - DAC '00  
We have implemented the entire software synthesis flow from specifications to synthesized tasks in a set of tools, which comprise compiler, linker, scheduler and code generator, and applied it to an industrial  ...  The complete software implementation of the system includes real-time scheduling of the tasks that we assume to be managed by an embedded operating system and is outside the scope of this paper. of schedules  ...  A task is generated for each port that receives a trigger from the environment, and its sequential program is obtained as a schedule of operations to be executed for the port.  ... 
doi:10.1145/337292.337553 dblp:conf/dac/CortadellaKLMMPWS00 fatcat:e3y6z7nwvngxtinzsejfhdxgom

Hardware/Software Co-Design Manuscript received February 1, 1996; revised December 2, 1996. This work was supported in part by DARPA, under Contract DABT 63-95-C-0049, and in part by NSF CAREER Award MIP 95-01615. Publisher Item Identifier S 0018-9219(97)02017-3 [chapter]

GIOVANNI DE MICHELI, RAJESH K. GUPTA
2002 Readings in Hardware/Software Co-Design  
These "systems on silicon" exhibit a sizable amount of embedded software, which provides flexibility for product evolution and differentiation purposes.  ...  Hardware circuits are often described using modeling or programming languages, and they are validated and implemented by executing software programs, which are sometimes conceived for the specific hardware  ...  Scheduling under timing constraints is common for hardware circuits, and for software applications in embedded control systems.  ... 
doi:10.1016/b978-155860702-6/50005-3 fatcat:6uahvlb44vc6fjlkqaqhet3gfe

Hardware/Software Codesign [chapter]

2008 System-on-Chip Design and Technologies  
These "systems on silicon" exhibit a sizable amount of embedded software, which provides flexibility for product evolution and differentiation purposes.  ...  Hardware circuits are often described using modeling or programming languages, and they are validated and implemented by executing software programs, which are sometimes conceived for the specific hardware  ...  Scheduling under timing constraints is common for hardware circuits, and for software applications in embedded control systems.  ... 
doi:10.1201/9781420051735.ch3 fatcat:vzpfaqbtozbonfdgewlalozmya

Hardware-software Codesign

1997 IEEE Design & Test of Computers  
These "systems on silicon" exhibit a sizable amount of embedded software, which provides flexibility for product evolution and differentiation purposes.  ...  Hardware circuits are often described using modeling or programming languages, and they are validated and implemented by executing software programs, which are sometimes conceived for the specific hardware  ...  Scheduling under timing constraints is common for hardware circuits, and for software applications in embedded control systems.  ... 
doi:10.1109/mdt.1997.573370 fatcat:e3chtb5h6ffpphp3ixtkspfm4y

Hardware-software codesign

P. Gupta
2002 IEEE potentials  
These "systems on silicon" exhibit a sizable amount of embedded software, which provides flexibility for product evolution and differentiation purposes.  ...  Hardware circuits are often described using modeling or programming languages, and they are validated and implemented by executing software programs, which are sometimes conceived for the specific hardware  ...  Scheduling under timing constraints is common for hardware circuits, and for software applications in embedded control systems.  ... 
doi:10.1109/45.983337 fatcat:qi4ochkozrfbrgml7azzlxro7e

Hardware/software co-design

G. De Michell, R.K. Gupta
1997 Proceedings of the IEEE  
These "systems on silicon" exhibit a sizable amount of embedded software, which provides flexibility for product evolution and differentiation purposes.  ...  Hardware circuits are often described using modeling or programming languages, and they are validated and implemented by executing software programs, which are sometimes conceived for the specific hardware  ...  Scheduling under timing constraints is common for hardware circuits, and for software applications in embedded control systems.  ... 
doi:10.1109/5.558708 fatcat:vyrbdbynszel3ku424iqlkh3sm

High-Level Synthesis for Embedded Systems [chapter]

Michael Dossis
2012 Embedded Systems - Theory and Design Methodology  
DSP blocks) and not for more general complex control flow designs.  ...  Background and review of ESL methodologies The scheduling task The scheduling problem covers two major categories: time-constrained scheduling and resource-constrained scheduling.  ...  High-Level Synthesis for Embedded Systems, Embedded Systems -Theory and Design Methodology, Dr.  ... 
doi:10.5772/38370 fatcat:olgvo4yrcfa4ti37aqefduubfi

Synthesis of time-constrained multitasking embedded software

André C. Nácul, Tony Givargis
2006 ACM Transactions on Design Automation of Electronic Systems  
Multitasking is increasingly common in embedded software, and many of these tasks incorporate real-time constraints.  ...  In modern embedded systems, software development plays a vital role. Many key functions are being migrated to software, aiming at a shorter time to market and easier upgrades.  ...  Scheduling is also mixed, as with quasistatic scheduling, where part of the scheduling is performed at compile time and part at runtime.  ... 
doi:10.1145/1179461.1179463 fatcat:e5p6dfbmr5f4vb32zp7hlm3dri

An Improved Quasi-Static Scheduling Algorithm for Mixed Data-Control Embedded Software

Liu ., Chun-Chen .
2006 Journal of Applied Sciences  
A software synthesis approach includes two correlated parts: scheduling and code generation.  ...  A task is a set of sequential operations that the system will perform to respond to the inputs from the environment. The embedded software coordinates these tasks generated for input events.  ...  Acknowledgement Dr Yosinori Watanabe proposed some ideas of this project and provided the QSS-1.2 source code. We would like to thank Drs Yosinori Watanabe and Alex Kondratyev for their great help.  ... 
doi:10.3923/jas.2006.1571.1575 fatcat:oheiwfpntrfypn53mosr3y3btq

A Platform for Real-Time Control Education with LEGO MINDSTORMS®1

Peter J. Bradley, Juan A. de la Puente, Juan Zamorano, Daniel Brosnan
2012 IFAC Proceedings Volumes  
Real-time control software is developed using a mixed paradigm. Functional code for control algorithms is automatically generated in C from Simulink models.  ...  A set of software development tools for building real-time control systems on a simple robotics platform is described in the paper.  ...  In this paper we describe a programming environment for this platform that can be used to support a real-time embedded control systems course, including all critical concurrency and real-time scheduling  ... 
doi:10.3182/20120619-3-ru-2024.00062 fatcat:hu5vrvhnvjdn7bevh27jdi4k3a

Multi-layer software reliability for unreliable hardware

Muhammad Shafique, Philip Axer, Christoph Borchert, Jian-Jia Chen, Kuan-Hsun Chen, Björn Döbel, Rolf Ernst, Hermann Härtig, Andreas Heinig, Rüdiger Kapitza, Florian Kriebel, Daniel Lohmann (+4 others)
2015 it - Information Technology  
AbstractThis paper presents a multi-layer software reliability approach that leverages multiple software layers (e. g., programming language, compiler, and operating system) to improve the overall system  ...  We present a comprehensive design flow that integrates multiple software layers while accounting for the knowledge from lower hardware layers.  ...  We provided an approach to determine a conservative bound for the response-times for such fork-join tasks under fixed priority scheduling [30] .  ... 
doi:10.1515/itit-2014-1081 fatcat:q4vxxqgiznasnl45dbz4gsjgee

Design of Embedded Systems: Formal Models, Validation, and Synthesis [chapter]

Stephen Edwards, Luciano Lavagno, Edward A. Lee, Alberto Sangiovanni-Vincentelli
2002 Readings in Hardware/Software Co-Design  
Such systems are often heterogeneous in implementation technologies and design styles, for example by combining hardware ASICs with embedded software.  ...  This paper addresses the design of reactive real-time embedded systems.  ...  We also thank Harry Hsieh for his help with a first draft of this work.  ... 
doi:10.1016/b978-155860702-6/50009-0 fatcat:um7k7am5ergnrcizrrkbmzoz7a

Design of embedded systems: formal models, validation, and synthesis

S. Edwards, L. Lavagno, E.A. Lee, A. Sangiovanni-Vincentelli
1997 Proceedings of the IEEE  
Such systems are often heterogeneous in implementation technologies and design styles, for example by combining hardware ASICs with embedded software.  ...  This paper addresses the design of reactive real-time embedded systems.  ...  We also thank Harry Hsieh for his help with a first draft of this work.  ... 
doi:10.1109/5.558710 fatcat:4v34mhx7hjf5zjt4aap356zvb4

Formal ESL Synthesis for Control-Intensive Applications

Michael F. Dossis
2012 Advances in Software Engineering  
The scheduler PARCS and the formal compilation of the system are tested with a number of benchmarks and real-world applications.  ...  Then, a prototype HLS compiler tool that has been developed by the author is presented, which utilizes compiler-generators and logic programming to turn the synthesis into a formal process.  ...  We can say that this implements a mixed time and resourceconstrained scheduling.  ... 
doi:10.1155/2012/156907 fatcat:f55w3dv6crflzfqinksfrcahnu

Towards availability and real-time guarantees for protected module architectures

Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, Frank Piessens
2016 Companion Proceedings of the 15th International Conference on Modularity - MODULARITY Companion 2016  
-several prototypes for embedded systems (and also the Intel Software Guard eXtensions for higher-end systems) ensure isolation with a hardware-only TCB.  ...  The scheduler, as any software on the platform, remains untrusted for confidentiality and integritybut it is sufficient to trust the scheduler module to get availability guarantees even on a partially  ...  This research is partially funded by project grants from the Research Fund KU Leuven, and from the Research Foundation Flanders (FWO).  ... 
doi:10.1145/2892664.2892693 dblp:conf/aosd/BulckNMP16 fatcat:un3yanhgibhjpe7br4mkzp763y
« Previous Showing results 1 — 15 out of 18,474 results