Filters








32,492 Hits in 4.2 sec

Towards a synthesis of dynamic architecture event languages

David S. Wile
2002 Proceedings of the first workshop on Self-healing systems - WOSS '02  
Herein several protocols for dynamic architecture change notification from that program are examined in search of a community standard for such a protocol.  ...  Architecture models are examples of rather simple models to which health information can be attached and reasoned about, e.g. attaching system state to a process or tracking events across connectors.  ...  A SYNTHESIS: POINTS OF DISCUSSION These apparently simple, apparently similar protocols are different enough to illustrate several issues that must be addressed in any synthesis of them into a commonly  ... 
doi:10.1145/582129.582143 fatcat:sfd5houjqjc6ljdbqcuvisveoy

Towards a synthesis of dynamic architecture event languages

David S. Wile
2002 Proceedings of the first workshop on Self-healing systems - WOSS '02  
Herein several protocols for dynamic architecture change notification from that program are examined in search of a community standard for such a protocol.  ...  Architecture models are examples of rather simple models to which health information can be attached and reasoned about, e.g. attaching system state to a process or tracking events across connectors.  ...  A SYNTHESIS: POINTS OF DISCUSSION These apparently simple, apparently similar protocols are different enough to illustrate several issues that must be addressed in any synthesis of them into a commonly  ... 
doi:10.1145/582128.582143 dblp:conf/woss/Wile02 fatcat:uw4wk2r6snawdajvumvfg5qfne

Towards Adaptive Mils System: Model- Based Design, Verification And Run-Time Adaptation

Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
2018 Zenodo  
Presentation to conference paper: Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation  ...  rule  Time limits MILS-Workshop 2018 Towards Adaptive MILS Systems 55 MILS-Workshop 2018 Towards Adaptive MILS Systems 56 Evaluator Module  Synthesis modes (cont.):  Reasoning (automatic  ...  subcomponents • can be empty (leaf components) MILS-Workshop 2018 Towards Adaptive MILS Systems 16 Architecture Analysis & Design Language (AADL) Component types in AADL subject databaseServer  ... 
doi:10.5281/zenodo.1306062 fatcat:4k7vr6jev5drdo2ktb6ud42trq

Guest editorial special issue on system synthesis

F. Kurdahi
2002 IEEE Transactions on Very Large Scale Integration (vlsi) Systems  
issues such as hardware/software partitioning and dynamic scheduling for discrete event systems on such architectures.  ...  The paper "HW/SW Codesign Techniques for Dynamically Reconfigurable Architectures" deals with a comprehensive hardware/software codesign methodology for dynamically reconfigurable architectures addressing  ... 
doi:10.1109/tvlsi.2002.806919 fatcat:2u7jmazojjfzfkkegeizlddiem

A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models

Mark Allison, Peter J. Clarke, Xudong He
2015 Procedia Computer Science  
We present a prototype as validation of our approach implemented using a metamodel based architecture to instantiate the interpreter for two distinct cyber-physical domains.  ...  to a high-level language for subsequent execution.  ...  A Synthesis Engine Metamodel We formulated our architectural design decisions based on a propensity towards adaptation; seeking a representation capable of capturing the complexity of the model synthesis  ... 
doi:10.1016/j.procs.2015.08.521 fatcat:uiottmlxzjf5ljfjy3h7s5dkwu

Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems

Klaus Schmidt, Christian Breindl
2011 IEEE Transactions on Automatic Control  
The subject of this paper is the synthesis of natural projections that serve as nonblocking and maximally permissive abstractions for the hierarchical and decentralized control of largescale discrete event  ...  The obtained results are illustrated by the synthesis of nonblocking and maximally permissive supervisors for a manufacturing system.  ...  Then is called a dynamic system [16] .  ... 
doi:10.1109/tac.2010.2067250 fatcat:bulkk6nesfapdhxccvjftcmpoa

A model-based approach to self-adaptive software

G. Karsai, J. Sztipanovits
1999 IEEE Intelligent Systems and their Applications  
A common challenge in embedded systems is the unpredictable number and kind of environmental events that fundamentally impact the software architecture.  ...  be maintained, but the controller architecture must be changed.  ...  Well-known examples of dynamic object languages include CLOS, 10 Dylan (www.dylanpro.com/dylan-faq.html), and, to a lesser degree ML 13 and Haskell. 14 In real-time, data-and event-driven applications  ... 
doi:10.1109/5254.769884 fatcat:icwll5aeqjeyha5gwpuhflthyq

Refactoring software to heterogeneous parallel platforms

J. Daniel Garcia
2019 Journal of Supercomputing  
Because there is no clear dominant heterogeneous architecture, the cost of each new port seems to contain many architecture-specific issues.  ...  The evolution of approaches for parallel programming models in last years has been a constant and seems to be a trend for the upcoming years.  ...  s reductions of overheads are investigated to enable the utilization of all CPU cores and an FPGA in a heterogeneous environment, when a high-level general-purpose language as C++ is used.  ... 
doi:10.1007/s11227-019-02942-2 fatcat:h54q2vr3kfcs7ih7v3smj4fbsm

Model-driven systems engineering for netcentric system of systems with DEVS unified process

Saurabh Mittal, Jose Luis Risco Martin
2013 2013 Winter Simulations Conference (WSC)  
(SES) ontology, complex dynamical systems and finally frameworks like Department of Defense Architecture Framework (DoDAF) that help define and develop netcentric systems.  ...  Language (UML) and Systems Modeling Language (SysML), both of which lack mathematical rigor.  ...  A system architecture where the constituent systems communicate using events/messages is called an Event driven Architecture (EDA). SOA is a great enabler for EDA.  ... 
doi:10.1109/wsc.2013.6721503 dblp:conf/wsc/MittalR13 fatcat:7kwuovd7rfc3vmyb7hw5363gu4

Methods for evaluating and covering the design space during early design development

M GRIES
2004 Integration  
This review thus eases the choice of a decent exploration policy by providing a comprehensive survey and classification of recent related work.  ...  This paper gives an overview of methods used for Design Space Exploration (DSE) at the system-and micro-architecture levels.  ...  This work was supported, in part, by the Microelectronics Advanced Research Consortium (MARCO) and Infineon Technologies, and is part of the efforts of the Gigascale Silicon Research Center (GSRC).  ... 
doi:10.1016/s0167-9260(04)00032-x fatcat:j7mgqssclnehrbszo7ktv64edq

Methods for evaluating and covering the design space during early design development

Matthias Gries
2004 Integration  
This review thus eases the choice of a decent exploration policy by providing a comprehensive survey and classification of recent related work.  ...  This paper gives an overview of methods used for Design Space Exploration (DSE) at the system-and micro-architecture levels.  ...  This work was supported, in part, by the Microelectronics Advanced Research Consortium (MARCO) and Infineon Technologies, and is part of the efforts of the Gigascale Silicon Research Center (GSRC).  ... 
doi:10.1016/j.vlsi.2004.06.001 fatcat:3m3nshpmgvcvriwsh3cpd2iga4

Toward a Standard Rule Language for Semantic Integration of the DoD Enterprise

Suzette Stoutenburg, Leo Obrst, Deborah Nichols, Jason Peterson, Adrian Johnson
2005 W3C Workshops  
Separation of rules from executable code provides the foundation for dynamic system behavior and agile response to outside events.  ...  A Rule Language Standard is required to realize the full benefits of rule separation including the sharing of rule abstractions across disparate domains, thus enabling interoperability across the enterprise  ...  Purpose This paper presents the plan and initial findings of the MITRE Sponsored Research effort, Toward a Standard Rule Language for Semantic Enterprise Integration.  ... 
dblp:conf/w3c/StoutenburgONPJ05 fatcat:kb47ykozrvdwtmev4roqncivvu

Towards Smart Manufacturing with Dynamic Dataspace Alignment [chapter]

Donatella Firmani, Francesco Leotta, Federica Mandreoli, Massimo Mecella
2020 Lecture Notes in Business Information Processing  
-to envision a software architecture to support adaptation of the manufacturing process when divergence from reference practices occur.  ...  The technological foundation of smart manufacturing consists of cyber-physical systems and the Internet-of-Things (IoT).  ...  The work of Francesco Leotta and Massimo Mecella has been also partly supported by the research contract with Rota Laser Dies.  ... 
doi:10.1007/978-3-030-49165-9_5 fatcat:yvgq7bazlveu7eomk2exfidvhm

The Andres Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems

A. Herrholz, F. Oppenheimer, P. A. Hartmann, A. Schallenberg, W. Nebel, C. Grimm, M. Damm, J. Haase, F. Brame, F. Herrera, E. Villar, I. Sander (+3 others)
2007 2007 International Conference on Field Programmable Logic and Applications  
The design flow is completed by a methodology and tools for automatic hardware and software synthesis for adaptive architectures.  ...  The main objective of ANDRES is the development of a seamless design flow for adaptive heterogeneous embedded systems (AHES) based on the modelling language SystemC.  ...  SYNTHESIS OF RUN-TIME RECONFIGURABLE DIGITAL HARDWARE One of the major goals of the ANDRES project is the automated hardware synthesis for dynamic reconfigurable architectures.  ... 
doi:10.1109/fpl.2007.4380679 dblp:conf/fpl/HerrholzOHSNGDHBHVSJFM07 fatcat:uhneslblq5etlkorfljeiefxcu

Computational Issues in Intelligent Control: Discrete-Event and Hybrid Systems [chapter]

XENOFON D. KOUTSOUKOS, PANOS J. ANTSAKLIS
2000 Soft Computing and Intelligent Systems  
Finally, we present a parallel computing architecture for intelligent control systems and we illustrate its advantages by considering parallel discrete event simulations.  ...  Petri net models are used to describe discrete event and hybrid systems. Computational issues of various problems and algorithms concerning the analysis and synthesis of such systems are discussed.  ...  Nikos Chrisochoides of the Computer Science and Engineering Department at the University of Notre Dame for his valuable assistance concerning the parallel computing architecture.  ... 
doi:10.1016/b978-012646490-0/50006-8 fatcat:tpqu57oywrhwtfcrvohzhr3trq
« Previous Showing results 1 — 15 out of 32,492 results