1,720,872 Hits in 8.8 sec

From high-level component-based models to distributed implementations

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
2010 Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '10  
In this paper, we propose a methodology for producing automatically efficient and correct-by-construction distributed implementations by starting from a high-level model of the application software in  ...  Moreover, Send/Receive BIP models can be used to automatically derive distributed implementations.  ...  In this paper, we present a novel method for automatically transforming high-level models in BIP [?] into distributed implementations.  ... 
doi:10.1145/1879021.1879049 dblp:conf/emsoft/BonakdarpourBJQS10 fatcat:yhx2tchcbzbmpj4wlz2wobc4mm

Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset [chapter]

Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
2009 Lecture Notes in Computer Science  
Partial state semantics of BIP allows generating from a high-level component-based model in BIP an observationally equivalent distributed implementation [2].  ...  BIP is based on a semantic model encompassing composition of heterogeneous components.  ...  It allows us to evaluate the impact of changes to the high-level model without getting involved with its actual C++ implementation.  ... 
doi:10.1007/978-3-642-04355-0_19 fatcat:ane6ujk2ivfxtbumeth6qn364e

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

Carlos Noguera, Frédéric Loiret
2009 2009 35th Euromicro Conference on Software Engineering and Advanced Applications  
From the components' architecture to their implementations, concerns are defined and checked in an homogeneous manner.  ...  Our approach is illustrated and evaluated through the design of an example component-based application for the multitasking and distributed domains.  ...  Through the composition of targets and ContentDescs, it is possible to navigate from a high-level DSC to a low-level source code element.  ... 
doi:10.1109/seaa.2009.18 dblp:conf/euromicro/NogueraL09 fatcat:en3tivhgrzf5tbqq2cingxqh4a

Concern-Based Composition and Reuse of Distributed Systems [chapter]

Andrey Nechypurenko, Tao Lu, Gan Deng, Emre Turkay, Douglas C. Schmidt, Aniruddha Gokhale
2004 Lecture Notes in Computer Science  
First, it motivates the use of a concern-based approach to enhance the level of abstraction at which component-based distributed systems are developed and reused to (1) improve software quality and developer  ...  productivity, and (2) localize variability aspects to simplify substitution of reusable component implementations.  ...  Figure 4 provides the high level view on the complete ICMME modeling process.  ... 
doi:10.1007/978-3-540-27799-6_14 fatcat:omwtq7jh3zhllkgm5fiembdnai

Modeling of complex scenarios using LVC simulation

Kiyoul Kim, Taewoong Park, John Pastrana, Mario Marin, Edwin. A. Cortes, Luis. C. Rabelo, Gene Lee
2014 Proceedings of the Winter Simulation Conference 2014  
Interoperation of simulation models is an important issue due to high level requirements of reusability, scalability, and eventually training effect.  ...  This research presents an experimental LVC simulation framework to model and simulate complex war fighting scenarios.  ...  Further, it describes that a number of artifacts and components are needed to achieve the desired level of data abstraction and systems processes understanding constraints from reality to implement simulation  ... 
doi:10.1109/wsc.2014.7020133 dblp:conf/wsc/KimPPMCRL14 fatcat:ld22j27eybh53l7jmhffttppzy

A component-based approach for service distribution in sensor networks

Amirhosein Taherkordi, Romain Rouvoy, Frank Eliassen
2010 Proceedings of the 5th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks - MidSens '10  
Specifically, we first formulate high-level service distribution requirements based on a programming model for WSNs, and then consider how the programming proposal can simplify and generalize distribution  ...  In this paper, we presented a high-level programming abstraction in order to enable service distribution in WSN applications and relieve the programmer from the burden of dealing with low-level APIs for  ... 
doi:10.1145/1890784.1890789 dblp:conf/middleware/TaherkordiRE10 fatcat:4vm3hnty3fhcdb77zn2kbrz6cm

Exploiting architectural prescriptions for self-managing, self-adaptive systems

Matthew J. Hawthorne, Dewayne E. Perry
2004 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems - WOSS '04  
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution space).  ...  We use abstract constraint-and intent-based architectural prescriptions to enable architectural reflection, reification, and distributed configuration discovery as the basis for designing adaptive, selfconfiguring  ...  High-level activities that model coarse-grained units of functionality are analogous to application subsystems.  ... 
doi:10.1145/1075405.1075420 dblp:conf/woss/HawthorneP04 fatcat:zewkcr5q2beofkeaijbshe4uvu

Design and implementation of real-time distributed systems with the ASSERT Virtual Machine

J Zamorano, J A de la Puente
2010 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)  
Components are used in the framework of the ASSERT development process, and are based on the Ravenscar Computational Model, a concurrent tasking model which can be statically analysed for a correct real-time  ...  The concept of virtual machine-level software components is developed, and sample programming patterns are provided.  ...  Development engineers work on high-level system models, and implementation code is automatically generated from such models.  ... 
doi:10.1109/etfa.2010.5641342 dblp:conf/etfa/ZamoranoP10 fatcat:7fjgbzfw2rbupjbqe65udjz6dm

Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification [chapter]

Filipe Moutinho, Luís Gomes
2013 IFIP Advances in Information and Communication Technology  
Additionally, this paper proposes external messages and three types of (high-level) asynchronous communication channels, to specify the interaction between distributed components based on message exchange  ...  in software and hardware platforms), giving a contribution to the model-based development approach and hardware-software co-design of DES based on high-level Petri nets.  ...  Introduction This work gives a contribution to the use of high-level Petri nets in the model-based development approach of distributed embedded systems (DES).  ... 
doi:10.1007/978-3-642-37291-9_24 fatcat:ljdfpaxxa5bcbmvxt2cm2kqnii

A model-based service creation platform

Wouter B. Teeuw, Dick A. C. Quartel
2001 Proceedings of the 2001 international workshop on Multimedia middleware - M3W  
To manage this complexity, to reuse middleware functionality, and to quickly create specific services in an efficient and cost-effective way upon user request, models are used, going towards 'higher-level  ...  In the Friends project, a service creation environment has been developed that supports the modelling and analysis of services at successive abstraction levels, their actual implementation, and their deployment  ...  In particular, the application of high-level specification languages and supporting (analysis) tools should enable the service developer to build a service from software components at high(er) abstraction  ... 
doi:10.1145/985135.985158 fatcat:z4cigg2rp5gmjmx66lm7wlk6sa

An integrated course on parallel and distributed processing

José C. Cunha, João Lourenço
1998 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education - SIGCSE '98  
and implementation issues involved in selected topics such as a data and control distribution problem, a distributed transaction-based support system and a parallel algorithm.  ...  , concurrent programming models, data and control distribution, concurrency control and recovery in transactional systems, and parallel processing models; the practical component illustrates the design  ...  Acknowledgements Thanks are due to all the students that have participated in these activities. This work was partialy supported by the EC TEMPUS Project S JEP 07989-94.  ... 
doi:10.1145/273133.274300 dblp:conf/sigcse/CunhaL98 fatcat:g7tbbyr6tbf5heo27a5zaouesa


Jan H. Richter, Florian Wenck
2005 IFAC Proceedings Volumes  
In this paper, the application of the Hierarchical Interface-based Supervisory Control method to controlling a large scale manufacturing example is presented adopting a layered organizational hierarchy  ...  The generic and easily maintainable implementation using programmable logic controllers, a personal computer and TCP/IP over Ethernet for communication is explained in detail.  ...  From the component-oriented point of view, no communication with the outside world is necessary to fulfil an internal low level task. High level plant models and specifications.  ... 
doi:10.3182/20050703-6-cz-1902.00345 fatcat:xh2owbsj3jbo7oh3ycyk2rjxla

A Reconfigurable Component Model for HPC

Vincent Lanore, Christian Pérez
2015 Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering - CBSE '15  
useful automation: connection variants  local, distributed  proxies  1-to-n connections STAARSA Reconfigurable Component Model for HPC 34  ...  "); sometimes sometimes From the literature: No model provides both Reconfigurable Component Models Examples Locking and Scalable?  ...  STAARS A Reconfigurable Component Model for HPC 35 High-level transformation language(s)  High-level languages  hierarchy  genericity  decent compact language for humans (ie, not XML) Extensions  ... 
doi:10.1145/2737166.2737169 dblp:conf/cbse/LanoreP15 fatcat:rljebtagbndbtnmfd37vnfcy7q

Model-based design and distributed implementation of bus arbiter for multiprocessors

Imene Ben-Hafaiedh, Susanne Graf, Mohamad Jaber
2011 2011 18th IEEE International Conference on Electronics, Circuits, and Systems  
First we propose a high-level distributed and abstract model of the bus arbiter for multiprocessors.  ...  Second, we propose to automatically verify deadlock freedom property of these protocols and to automatically generate their distributed implementation.  ...  Our approach is more general as it allows to derive distributed implementation from any arbitration protocol once it is specified using the high-level model we propose.  ... 
doi:10.1109/icecs.2011.6122215 dblp:conf/icecsys/HafaiedhGJ11 fatcat:7gp4cq2msjgxhobotpvmxw2rua

A self-adaptive context processing framework for wireless sensor networks

Amirhosein Taherkordi, Romain Rouvoy, Quan Le-Trung, Frank Eliassen
2008 Proceedings of the 3rd international workshop on Middleware for sensor networks - MidSens '08  
This thesis demonstrates a high-level programming abstraction, based on the Remora component model, in order to enable service distribution in WSN applications.  ...  ., mobile devices and actuators) through a standard high-level distribution model.  ...  process historical actions sequences) and a Task-Based Markov Model algorithm (for identifying high level tasks in action sequences).  ... 
doi:10.1145/1462698.1462700 dblp:conf/middleware/TaherkordiRTE08 fatcat:nkkejin3iregzle5jlrsppm3c4
« Previous Showing results 1 — 15 out of 1,720,872 results