Filters








15,114 Hits in 5.4 sec

Extracting threads from concurrent objects for the design of embedded systems

M. Okazaki, T. Aoki, T. Katayama
Ninth Asia-Pacific Software Engineering Conference, 2002.  
Embedded software • Embedded software -Software system remarkably optimized for a particular product • Ex.  ...  Object-oriented analysis model Thread-based design model Since 1990 Since 1990 Our Approach • Formalizing the behavior of objects and threads using Concurrent Regular Expressions (CREs). • Transforming  ...  Complete Axiom System for Regular Expression (Salomaa, 1966) Sound axioms for Concurrent Regular Expression (The proof of completeness is coming soon!)  ... 
doi:10.1109/apsec.2002.1182980 dblp:conf/apsec/OkazakiAK02 fatcat:fyqqfbz7szeurgpq6cugkpleli

Tackling the Testing and Verification of Multicore and Concurrent Software as a Search Problem [chapter]

Lionel C. Briand
2012 Lecture Notes in Computer Science  
of the approach to a real case study Design Model (Time and Concurrency) IN Real time information was extracted from design documents and profiling logs UML Diagrams were built starting from  ...  from input Models) Mapping from Conceptual Model to MARTE Profile MARTE is the UML standard for modeling and analysis of real-time embedded systems MARTE Stereotypes and Attributes Constraint  ...  Data Races • Fall under umbrella of race conditions • Result from unsynchronized access of threads to same memory location as either reader or writer threads • Protected access (e.g., monitors) not always  ... 
doi:10.1007/978-3-642-31202-1_2 fatcat:dgz7ow7rnjfgdaqeocobuhkdqq

Task concurrency management methodology to schedule the MPEG4 IM1 player on a highly parallel processor platform

Chun Wong, Paul Marchal, Peng Yang
2001 Proceedings of the ninth international symposium on Hardware/software codesign - CODES '01  
Starting from the original "standard" specification, we extract the concurrency originally hidden by implementation decisions in a "grey-box" model.  ...  This paper addresses the concurrent task management of complex multi-media systems, like the MPEG4 IM1 player, with emphasis on how to derive energy-cost vs time-budget curves through task scheduling on  ...  From this, one can conclude that a need exists for a systematic methodology at the system level for the co-design of hardware and software including especially the management of dynamic concurrent tasks  ... 
doi:10.1145/371636.371712 dblp:conf/codes/WongMY01 fatcat:bqqwstwvljg6rjgohe53weu2aq

Tailor-made operating systems for embedded parallel applications [chapter]

Antônio Augusto Fröhlich, Wolfaang Schröder-Preikschat
1999 Lecture Notes in Computer Science  
and data flow analysis to extract a blueprint for the operating system to be generated.  ...  A system designed according to the proposed methodology may be automatically tailored to satisfy an specific application.  ...  System Object Adapters The growth in configuration complexity arises from the fact that, as an adaptable operating system, Pure is designed to yield a large number of building blocks, or system objects  ... 
doi:10.1007/bfb0098015 fatcat:dvbnyptgujc3zlo2euzhor4m7q

Classifier Grouping to Enhance Data Locality for a Multi-threaded Object Detection Algorithm

Bo-Cheng Charles Lai, Chih-Hsuan Chiang, Guan-Ru Li
2011 2011 IEEE 17th International Conference on Parallel and Distributed Systems  
A novel Classifier-Grouping scheme is proposed to significantly enhance the data reuse for on-chip caches of embedded multicore systems.  ...  Improving data locality of applications and maximizing the data reuse for on-chip caches have therefore become critical design concerns.  ...  For example, designers can process different window sizes by different threads concurrently (Window Size Level).  ... 
doi:10.1109/icpads.2011.43 dblp:conf/icpads/LaiCL11 fatcat:t2etpjvf25dd7nlpyvg47zlzwe

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development [chapter]

Pao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chihhsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hung Chang, William C. Chu
2009 Lecture Notes in Computer Science  
In this work, we present a new VERTAF/Multi-Core framework and show how software code can be automatically generated from SysML models of multi-core embedded systems.  ...  We use a digital video recording system to illustrate the benefits of the framework.  ...  The Unified Modeling Language (UML) [9] is an industry de-facto standard language used for designing software from various application domains, including embedded systems.  ... 
doi:10.1007/978-3-642-03095-6_30 fatcat:s7v7fgzoorag7cz6takxn6a2uy

VERTAF/Multi‐Core: A sysml‐based application framework for multi‐core embedded software development

Chao‐Sheng Lin, Pao‐Ann Hsiung, Shang‐Wei Lin, Yean‐Ru Chen, Chun‐Hsien Lu, Sheng‐Ya Tong, Wan‐Ting Su, Chihhsiong Shih, Nien‐Lin Hsueh, Chih‐Hung Chang, Chorng‐Shiuh Koong
2009 Zhongguó gongchéng xuékan  
In this work, we present a new VERTAF/Multi-Core framework and show how software code can be automatically generated from SysML models of multi-core embedded systems.  ...  We use a digital video recording system to illustrate the benefits of the framework.  ...  The Unified Modeling Language (UML) [9] is an industry de-facto standard language used for designing software from various application domains, including embedded systems.  ... 
doi:10.1080/02533839.2009.9671586 fatcat:rocm7a32m5ejhm6tbkvctqr5jm

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development

Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung
2011 Journal of Computer Science and Technology  
In this work, we present a new VERTAF/Multi-Core framework and show how software code can be automatically generated from SysML models of multi-core embedded systems.  ...  We use a digital video recording system to illustrate the benefits of the framework.  ...  The Unified Modeling Language (UML) [9] is an industry de-facto standard language used for designing software from various application domains, including embedded systems.  ... 
doi:10.1007/s11390-011-1146-3 fatcat:3wvsknezujbbpmgzpzc6a4srae

Model-Based Hardware Generation and Programming - The MADES Approach

Ian Gray, Nikos Matragkas, Neil C. Audsley, Leandro Soares Indrusiak, Dimitris Kolovos, Richard Paige
2011 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops  
MADES aims to develop a model-driven development process for safety-critical, real-time embedded systems.  ...  Second, the Zot verification tool is employed to allow early and frequent verification of the system being developed.  ...  This involves extracting the concurrent objects (threads, tasks), shared objects (mutexes, protected objects, etc.), and shared data items that are present in the application.  ... 
doi:10.1109/isorcw.2011.20 dblp:conf/isorc/GrayMAIKP11 fatcat:z6647xy7abddxafkxcldlpoi54

TinyTimber, reactive objects in C for real-time embedded systems

Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander
2008 Proceedings of the conference on Design, automation and test in Europe - DATE '08  
In this paper, the TT kernel design is presented and performance metrics are presented for a number of representative embedded platforms, ranging from small 8-bit to more potent 32bit micro controllers  ...  In this paper we demonstrate how the Timber semantics for parallel reactive objects translates to embedded real-time programming in C.  ...  Furthermore, scheduling for real-time embedded systems is known to be very challenging, mainly because the lack of tools that are able to extract the necessary scheduling information from the specification  ... 
doi:10.1145/1403375.1403708 fatcat:hfp6b4rjanfdvis2e4yexf5jzm

TinyTimber, Reactive Objects in C for Real-Time Embedded Systems

Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander
2008 2008 Design, Automation and Test in Europe  
In this paper, the TT kernel design is presented and performance metrics are presented for a number of representative embedded platforms, ranging from small 8-bit to more potent 32bit micro controllers  ...  In this paper we demonstrate how the Timber semantics for parallel reactive objects translates to embedded real-time programming in C.  ...  Furthermore, scheduling for real-time embedded systems is known to be very challenging, mainly because the lack of tools that are able to extract the necessary scheduling information from the specification  ... 
doi:10.1109/date.2008.4484933 dblp:conf/date/LindgrenEAN08 fatcat:ola6xudhgfc2zajkgs2aw7ksby

Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing [chapter]

Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel Briand
2012 Lecture Notes in Computer Science  
We report an application of our approach to a case study from the maritime and energy domain.  ...  In this paper, we focus on CPU usage constraints and provide a framework to support the derivation of test cases that maximize the chances of violating CPU usage requirements.  ...  We thank Bran Selic for his useful comments on an earlier draft of this paper. We thank the research council of Norway for partially funding this work. L. Briand was supported by a FNR PEARL grant.  ... 
doi:10.1007/978-3-642-33666-9_48 fatcat:n25z6oiy35etjdoipm46ya2kve

Energy-aware runtime scheduling for embedded-multiprocessor SOCs

Peng Yang, Chung Wong, P. Marchal, F. Catthoor, D. Desmet, D. Verkest, R. Lauwereins
2001 IEEE Design & Test of Computers  
Contemporary software (and hardware) design practices for this target class can be described only as ad hoc. The design trajecto-  ...  WITH THE RAPID EVOLUTION of submicronprocess technology, manufacturers are integrating increasing numbers of components on one chip.  ...  Dirk Desmet is a senior researcher at IMEC in the field of reconfigurable platforms. His research interests include object-oriented design methods for embedded systems and reconfigurable systems.  ... 
doi:10.1109/54.953271 fatcat:k4qnyyt4pfcztmt6hkayjrne2a

Managing dynamic concurrent tasks in embedded real-time multimedia systems

Peng Yang, Paul Marchal, Chun Wong, Stefaan Himpe, Francky Catthoor, Patrick David, Johan Vounckx, Rudy Lauwereins
2002 Proceedings of the 15th international symposium on System Synthesis - ISSS '02  
A real-life example from a 3D quality of service kernel is used to show the effectiveness of our method.  ...  By exploring the Pareto curves and scenarios generated at design time, the run-time scheduler can easily find a good scheduling at a very low overhead, satisfying the system constraints and minimizing  ...  Two-phase scheduling stage The design of concurrent real-time embedded systems, and embedded software in particular, is a difficult problem, which is hard to perform manually due to the complex consumer-producer  ... 
doi:10.1145/581225.581226 fatcat:r5dcsy7udjfttmwg4itsjaqifq

Managing dynamic concurrent tasks in embedded real-time multimedia systems

Peng Yang, Paul Marchal, Chun Wong, Stefaan Himpe, Francky Catthoor, Patrick David, Johan Vounckx, Rudy Lauwereins
2002 Proceedings of the 15th international symposium on System Synthesis - ISSS '02  
A real-life example from a 3D quality of service kernel is used to show the effectiveness of our method.  ...  By exploring the Pareto curves and scenarios generated at design time, the run-time scheduler can easily find a good scheduling at a very low overhead, satisfying the system constraints and minimizing  ...  Two-phase scheduling stage The design of concurrent real-time embedded systems, and embedded software in particular, is a difficult problem, which is hard to perform manually due to the complex consumer-producer  ... 
doi:10.1145/581199.581226 fatcat:woumou2odjbmnkloc3cdubfgry
« Previous Showing results 1 — 15 out of 15,114 results