Filters








580,096 Hits in 6.4 sec

Integrating Software Engineering Technologies for Embedded Systems Development [chapter]

Rini van Solingen
2002 Lecture Notes in Computer Science  
By forming the MOOSE consortium ("Software Engineering Methodologies for Embedded Systems"), they started an effort for integrating the available tools, techniques, methods and processes involved in embedded  ...  The main starting point of MOOSE is that the available technologies for embedded software development are too fragmented; time, effort and money can be saved by supporting a better integration over development  ...  Finally, regards go to the ITEA programme for enabling and supporting the MOOSE collaboration.  ... 
doi:10.1007/3-540-36209-6_38 fatcat:lij66lph6ne7haamrks2xasowu

A Formal and Enriched Framework for Testing Distributed Embedded Systems

Chaitanya K, JNTU Hyderabad
2019 International Journal of Emerging Trends in Engineering Research  
In this paper, a framework proposed for undertaking the testing of the distributed embedded system.  ...  Distributed embedded systems frequently employed for implementing many of the applications such as home automation, Automobile systems, Air surveillance, and quite recently as subnets forming an IoT (Internet  ...  An integrator is required for integrating test results and the test results that reflects the overall testing of distributed embedded systems is required.  ... 
doi:10.30534/ijeter/2019/247122019 fatcat:gtxyweis5jfsrnv3xifdxgmeba

A Domain-aware Framework for Integrated Model-based System Analysis and Design

Adrian Rumpold, Reinhard Pröll, Bernhard Bauer
2017 Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development  
Based on this conceptual modeling approach, we introduce a framework for automated model-based analysis of integrated system models.  ...  We describe an embedding of a variety of domain-specific modeling languages into a common general-purpose modeling language, in order to facilitate the integration between heterogeneous design artifacts  ...  ACKNOWLEDGEMENTS The research in this paper was funded by the German Federal Ministry for Economic Affairs and Energy under the Central Innovation Program for SMEs (ZIM), grant numbers KF 2751303LT4 and  ... 
doi:10.5220/0006206301570168 dblp:conf/modelsward/RumpoldPB17 fatcat:flc6p7vvx5eevdmvxdknel6ata

Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems [article]

Markus Look, Antonio Navarro Perez, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2014 arXiv   pre-print
Modeling robotics applications for analysis and code generation requires modeling languages for the logical software architecture and the system behavior.  ...  The MontiArcAutomaton modeling framework integrates six independently developed modeling languages to model robotics applications: a component & connector architecture description language, automata, I  ...  Crucially, this framework supports an a-posteriori integration of languages in a black-box integration fashion.  ... 
arXiv:1409.2388v1 fatcat:dh6acy7vwffh7azpgqd762nldm

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

Pao-Ann Hsiung, Shang-Wei Lin
2004 Lecture Notes in Computer Science  
Formal verification integrates a model checker kernel from SGM, by adapting it for embedded software.  ...  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  ...  Conclusion An object-oriented component-based application framework, called VERTAF, was proposed for real-time embedded systems application development.  ... 
doi:10.1007/978-3-540-30121-9_2 fatcat:bkmrzrc2c5do3goizu6nxwnfky

Using XML Web services as a platform for remote access and control of embedded systems

Danilo Oklobdzija, Branislav Jevtovic
2008 Facta universitatis - series Electronics and Energetics  
Two ways to achieve such integration have been presented in this paper: device level for modern embedded devices, and using service oriented gateway for "legacy" embedded systems.  ...  Strong integration power of XML and Web services make presented framework appropriate for unique approach to all resources of embedded device regardless of applied technology.  ...  for embedded systems Even though each integration solution for embedded devices is unique, and targeted for specific usage domains, they all have the basic idea of providing serviceoriented architecture  ... 
doi:10.2298/fuee0801023o fatcat:jmtbmh7l7nayfbdgjox7mmefoa

PRIDE - An Environment for Component-Based Development of Distributed Real-Time Embedded Systems

Etienne Borde, Jan Carlson, Juraj Feljan, Luka Lednicki, Thomas Lévêque, Josip Maras, Ana Petricic, Severine Sentilles
2011 2011 Ninth Working IEEE/IFIP Conference on Software Architecture  
To address this, we have developed Pride, an integrated development environment for component-based development of embedded systems.  ...  Settling down the software architecture for embedded system is a complex and time consuming task.  ...  approach for the development of distributed embedded systems.  ... 
doi:10.1109/wicsa.2011.56 dblp:conf/wicsa/BordeCFLLMPS11 fatcat:bxzknaxqk5hf3hdizxfpduhdga

Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems [chapter]

Reinhard Pröll, Adrian Rumpold, Bernhard Bauer
2018 Communications in Computer and Information Science  
In order to overcome these shortcomings of current engineering practice, we propose a holistic, model-based architecture and analysis framework for seamless design, analysis, and evolution of integrated  ...  We describe how heterogeneous domain-specific modeling languages can be embedded into a common general-purpose model in order to facilitate the integration between previously disjoint design artifacts.  ...  Acknowledgements The research in this paper was funded by the German Federal Ministry for Economic Affairs and Energy under the Central Innovation Program for SMEs (ZIM), grant numbers KF 2751303LT4 and  ... 
doi:10.1007/978-3-319-94764-8_11 fatcat:3rn7gmgatngu7jwqkcovovkyxa

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  
Time-triggered method • Start, stop and reset • Specify the temporal deadline for an action Represent the use-cases of an embedded software application • Used for scheduling the different tasks performed  ...  1.Identify the objects that are specific to an application 2.  ... 
doi:10.1109/tse.2004.68 fatcat:nmeddcxwrvcixllveopvfohfqu

Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and Giotto

Muhammad Umer Tariq, Jacques Florence, Marilyn Wolf
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
The proposed domain-specific modeling language can capture the control, computing, and communication aspects of a cyber-physical system design in an integrated manner.  ...  In this paper, we propose a domain-specific modeling language for specifying the design of cyber-physical systems.  ...  In [3] , EMF-based integration of Simulink and EAST-ADL (a modeling language for automotive embedded systems) has been presented.  ... 
dblp:conf/models/TariqFW14 fatcat:uz6m26tamzemjp53d3rcvhzsra

An Active XML-based framework for integrating complex data

Rashed Salem, Omar Boussaïd, Jérôme Darmont
2012 Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12  
Current data integration systems also lack of self-managing capabilities. Therefore, we propose a data integration framework for integrating complex data actively.  ...  The purpose of our framework is twofold. Firstly, it integrates complex data using Web standards into an Active XML (AXML) repository.  ...  Therefore, we propose an innovative framework for this purpose.  ... 
doi:10.1145/2245276.2245449 dblp:conf/sac/SalemBD12 fatcat:lzwake4awbcnhid33cszxqpir4

Towards an interoperable framework for mixed real-time simulations of industrial embedded systems

Amir Soltani Nezhad, Luis F.B. Ferreira, Martijn M.H.P. van den Heuvel, Richard Verhoeven, Johan J. Lukkien, Rudolf H. Mak, Eric Korff de Gidts
2014 Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)  
Use-case study & Future work • We consider two alternative simulation configurations of an Interventional X-Ray (IXR) machine. • Future work: • a standard specification for communication interfaces • a  ...  method to add other tools to the framework.  ...  interoperable framework for mixed real-time simulations of industrial embedded systems A.  ... 
doi:10.1109/etfa.2014.7005268 dblp:conf/etfa/NezhadFHVLMG14 fatcat:4q4qvt7ifvdrlk42txxckqgmry

Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development

Jan O. Ringert, Bernhard Rumpe, Andreas Wortmann
2015 Proceedings of the 2015 Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering - MORSE/VAO '15  
We have developed the MontiArcAutomaton framework that combines structural extension of C&C concepts with integration of application-specific component behavior modeling languages, seamless transformation  ...  This paper describes the roles and activities for tailoring Monti-ArcAutomaton to application-specific demands.  ...  For a specific DSL, tools to parse textual models and to translate these into an abstract representation, as well as frameworks for well-formedness checking [31] , language integration [9] , and template-based  ... 
doi:10.1145/2802059.2802064 fatcat:zs6bas4itvec7necbk5x2heqki

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.  ...  Pcanel advocates netlist as global view of a systemic design, where the basic building block is component. The functionality of embedded system is modeled as netlist.  ...  Based on Pcanel, an embedded system can be built rapidly by reusing existed components and customizing netlist.  ... 
doi:10.1007/11535409_86 fatcat:mztvtoz7wvc2lna4m4kygcf22e

SOA-Based Framework for Home and Building Automation Systems (HBAS)

Thinagaran Perumal, Abd Rahman Ramli, Chui Yew Leong
2014 International Journal of Smart Home  
The proposed framework consists of several layers dedicated for services interwoven by Event-Condition-Action (ECA) oriented decision mechanism for managing heterogeneous embedded devices.  ...  Home and building automation systems (HBAS) today are categorized by plethora of data formats, communication platforms and software services accessible via heterogeneous embedded devices.  ...  These heterogeneous embedded devices are managed by a specific communication protocol to realize an overall federated system management.  ... 
doi:10.14257/ijsh.2014.8.5.18 fatcat:7tuwitcv2rbapmupomxryxgn2a
« Previous Showing results 1 — 15 out of 580,096 results