Filters








118,279 Hits in 3.5 sec

Model-integrated computing

J. Sztipanovits, G. Karsai
1997 Computer  
Syntax: Meta-Models ECSL-DP Meta-Model  ...  Semantic foundations for embedded & hybrid systems. Open tool integration platform for MDA.  ...  • Middleware for Distributed Real-time & Embedded Systems • Adaptive & reflective middleware, model- based integration technology above component models, Real-time CORBA (ACE/TAO), Model Driven  ... 
doi:10.1109/2.585163 fatcat:4c3p2hk32zhohg5kyrivu725ym

ESIDE: An Integrated Development Environment for Component-Based Embedded Systems

Nicholas T. Pilkington, Juncao Li, Fei Xie
2009 2009 33rd Annual IEEE International Computer Software and Applications Conference  
In this paper we present ESIDE, an integrated development environment for component-based embedded systems.  ...  To provide perspective, we report our experiences in re-engineering TinyOSbased networked sensor systems into complete componentbased designs that cover both hardware and software.  ...  Platform-Based Development In ESIDE, embedded systems are developed on top of a particular platform.  ... 
doi:10.1109/compsac.2009.48 dblp:conf/compsac/PilkingtonLX09 fatcat:ygyvqxna5bd5dhl4vniiw7ueva

Embedded architecture description language

Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu
2010 Journal of Systems and Software  
In this paper, we present the embedded architecture description language (EADL). It is based on a component model for embedded systems that unifies hardware and software components.  ...  Effectiveness of EADL has been demonstrated by its successful application in integrating component-based co-design, cosimulation, co-verification, and system synthesis.  ...  The lifecycle starts with creation of an embedded system platform. A platform can be created by an embedded system platform vendor or in house by system designers.  ... 
doi:10.1016/j.jss.2009.09.043 fatcat:wtbhuprrarfhzi2qhmmfu4gzny

Embedded Architecture Description Language

Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu
2008 2008 32nd Annual IEEE International Computer Software and Applications Conference  
In this paper, we present the embedded architecture description language (EADL). It is based on a component model for embedded systems that unifies hardware and software components.  ...  Effectiveness of EADL has been demonstrated by its successful application in integrating component-based co-design, cosimulation, co-verification, and system synthesis.  ...  The lifecycle starts with creation of an embedded system platform. A platform can be created by an embedded system platform vendor or in house by system designers.  ... 
doi:10.1109/compsac.2008.121 dblp:conf/compsac/LiPXL08 fatcat:waj3m3h6znd2vgpf4yd4vquq3q

Generative programming for embedded systems

Janos Sztipanovits, Gabor Karsai
2002 Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '02  
Embedded systems represent fundamentally new challenges for software design, which render conventional approaches to software composition ineffective.  ...  Starting with the unique challenges of building embedded systems, this paper discusses key issues of model-based technology for embedded systems.  ...  Acknowledgments The authors would like to thank Don Batory, Gregor Kiczales, Doug Schmidt, and Charles Simonyi for stimulating discussions on the topic.  ... 
doi:10.1145/571157.571175 dblp:conf/ppdp/SztipanovitsK02 fatcat:nwf5rp3rlvf77owtuq5crpzp4u

Generative Programming for Embedded Systems [chapter]

Janos Sztipanovits, Gabor Karsai
2002 Lecture Notes in Computer Science  
Embedded systems represent fundamentally new challenges for software design, which render conventional approaches to software composition ineffective.  ...  Starting with the unique challenges of building embedded systems, this paper discusses key issues of model-based technology for embedded systems.  ...  Acknowledgments The authors would like to thank Don Batory, Gregor Kiczales, Doug Schmidt, and Charles Simonyi for stimulating discussions on the topic.  ... 
doi:10.1007/3-540-45821-2_2 fatcat:pdbh5aiubrevhdsfdhanhhegqi

Managing embedded systems complexity with aspect-oriented model-driven engineering

Cormac Driver, Sean Reilly, Éamonn Linehan, Vinny Cahill, Siobhán Clarke
2010 ACM Transactions on Embedded Computing Systems  
We also present Model-Driven Theme/UML, a toolset for model-driven engineering of embedded systems that supports modularised design with Theme/UML and automatic transformations to composed models and source  ...  Adoption of the model-driven software engineering paradigm for embedded systems necessitates specification of appropriate models of often complex systems.  ...  engineering of embedded systems based on Theme/UML models.  ... 
doi:10.1145/1880050.1880057 fatcat:z54edo2cmbdlxocxnlczr754bm

Separation of Distributed Real-Time Embedded Concerns with Theme/UML

Cormac Driver, Vinny Cahill, Siobh Clarke
2008 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software  
Model-driven engineering (MDE) addresses platform complexity by abstracting platform-independent models for subsequent transformation to platformspecific models.  ...  This facilitates the design of a single system model and the subsequent generation of multiple model transformations targeted towards specific platforms.  ...  Theme/UML, along with an accompanying composition model, is used to design well modularised platform-independent models.  ... 
doi:10.1109/mompes.2008.8 dblp:conf/mompes/DriverCC08 fatcat:ye4s5q53izhgjde4twgxrrfiji

A Teaching Content Design of Embedded System in Accordance with the Characteristics of the Computer Science

Wei-gong LV, Ce ZHANG, Zhi-peng CHEN, Xin-sheng WANG, Jun BAI
2017 DEStech Transactions on Social Science Education and Human Science  
The embedded hardware teaching emphasizes the design of hardware platform based on embedded processor and focus on the overall design ideas and framework design.  ...  And the teaching of embedded software system discusses the development environment for embedded operating system and the driver system design based on embedded operating system as well as GUI, and PMD,  ...  The design of hardware platform based on embedded processor is the core application of embedded system hardware design, because the design of the hardware platform is key and ineluctable for the independent  ... 
doi:10.12783/dtssehs/aeme2016/7465 fatcat:khwd5fko4zg4nlyfnfe5ckvdku

Eliminating implicit dependencies in component models

Wouter Horre, Danny Hughes, Ka Lok Man, Steven Guan, Binbin Qian, Tianlin Yu, Haofan Zhang, Zhun Shen, Michel Schellekens, Steve Hollands
2011 2011 IEEE 2nd International Conference on Networked Embedded Systems for Enterprise Applications  
Keywords: networked embedded systems; component based software engineering; wireless sensor networks 978-1-4673-0498-6/11/$26.00 ©2011 IEEE  ...  The benefits of component models have led to their widespread application in the area of networked embedded systems and particularly Wireless Sensor Networks.  ...  THE LOOSELY-COUPLED COMPONENT INFRASTRUCTURE (LOOCI) LooCI [4] is a platform-independent component model specifically designed for networked embedded systems.  ... 
doi:10.1109/nesea.2011.6144945 dblp:conf/nesea/HorreHMGQYZSSH11 fatcat:56eiatnhinhwpizt2nk3xiugke

An Implementation of Embedded Real Time System Framework in Service Oriented Architecture

Mahmood Aghajani, Dayang N.A. Jawawi
2012 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery  
Although component based design is well-defined for developing Embedded Real Time (ERT) systems, the design and implementation of ERT component software is slow and complex.  ...  Currently, the complexity of embedded software is increased, hence, more efficient design approaches are demanded.  ...  ACKNOWLEDGEMENTS Special thanks to the Universiti Teknologi Malaysia(UTM) grant under GUP vot 00H60 for financing and funding support and also to our Embedded Real-Time Software Engineering Laboratory  ... 
doi:10.1109/cyberc.2012.63 dblp:conf/cyberc/AghajaniJ12 fatcat:btkoowcj6jcrpevxcrznkgxrxe

Model-based analysis of distributed real-time embedded system composition

Gabor Madl, Sherif Abdelwahed
2005 Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05  
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target platform.  ...  Model-based verification techniques provide a way for the design-time analysis of DRE systems enabling rapid evaluation of design alternatives with respect to given performance measures before committing  ...  The Virginia Embedded Systems Toolkit (VEST) [8] is a framework designed for the reliable and configurable composition and analysis of component-based embedded systems.  ... 
doi:10.1145/1086228.1086294 dblp:conf/emsoft/MadlA05 fatcat:rmzqr35jvzdsti4d57e4eetltm

Embedded Systems Design — Scientific Challenges and Work Directions [chapter]

Joseph Sifakis
2010 Lecture Notes in Computer Science  
Scientific Computing -Defence Applications WEB -Information Society Embedded Systems: Computing + Physicality  Seamless revolution  95% of chips are embedded  Convergence between Computing and Telecommunications  ...   Graphic Interfaces, Mouse  Information Systems: Commercial Applications  Integrated circuits Informatics is a young discipline, driven by exponential growth of components and their applications.  ...  operators e.g. automata-based to families of high-level composition operators e.g. protocols, controllers We need a unified composition paradigm for describing and analyzing the coordination between  ... 
doi:10.1007/978-3-642-12002-2_1 fatcat:aqrls5a7hrhnffmyu7lql563fq

Compositional analysis of real-time embedded systems

Linh T.X. Phan, Insup Lee, Oleg Sokolsky
2011 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems - CASES '11  
This tutorial is concerned with various aspects of component-based design and compositional analysis of realtime embedded systems.  ...  ABSTRACT This tutorial is concerned with various aspects of component-based design and compositional analysis of real-time embedded systems.  ...  formal verification, system-level design and compositional analysis methods for real-time embedded systems, cyber physical systems, multi-mode systems, and high-performance computing systems.  ... 
doi:10.1145/2038698.2038736 dblp:conf/cases/PhanLS11 fatcat:ujzssa5v6zgajgxedotmcfl7ei

Design-time verification of component-based embedded systems with respect to extra-functional properties

Juraj Feljan
2011 Proceedings of the 16th international workshop on Component-oriented programming - WCOP '11  
Employing component-based software engineering and model-driven development for the development of embedded systems can facilitate this early verification.  ...  In this paper we present our planned research on early analysis of component-based embedded systems, which enables avoiding designs infeasible with respect to constraints on timing and resource consumption  ...  MARTE (Modeling and Analysis of Real Time and Embedded systems) [15] is a UML profile defined by OMG, that enables the use of UML for model-based development of embedded systems, covering the specification  ... 
doi:10.1145/2000292.2000300 fatcat:trhnnladyjg4rntfgc6dohbp5i
« Previous Showing results 1 — 15 out of 118,279 results