4,310 Hits in 6.1 sec

The dark side of DEMMON

Stefano Tennina, Ricardo Gomes, Mario Alves, Vincenzo Ciriello, Gabriella Carrozza
2011 Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems - MSWiM '11  
This toolset has been designed to back up the EMMON WSN system architecture for largescale, dense, real-time embedded monitoring.  ...  This toolset has been paramount to validate the system architecture through DEMMON1, the first EMMON demonstrator, i.e., a 300+ node test-bed, which is, to the best of our knowledge, the largest single-site  ...  EMMON [1] is an ARTEMIS industry-driven project that aimed to design a WSN system architecture targeting largescale and dense real-time monitoring applications, such as real-time pollution/noise maps  ... 
doi:10.1145/2068897.2068908 dblp:conf/mswim/TenninaGACC11 fatcat:vjrfa3i34bbctimyaoheoy64zy

Practice of Real-time Software Architectures: Collider, Satellites, and Tanks Combined

Jan van Katwijk, Jean-Jacques Schwarz, Janusz Zalewski
2001 IFAC Proceedings Volumes  
Problems facing designers of real-time software architectures are grouped into two categories: architectural patterns and design tools.  ...  Three real-time mission-critical applications are discussed from the following domains: scientific (high-energy physics experiments), commercial (satellite control), and military (embedded simulations)  ...  Fig. 1 . 1 Architecture of a Distributed Real-Time System plex to be done manually by individual designers. Therefore automatic tools are needed to assist in the development process.  ... 
doi:10.1016/s1474-6670(17)32998-1 fatcat:iop7jo4cgrdttbfatvwubwc2bu

A Verifiable and Correct-by-Construction Controller for Robots in Human Environments

Lavindra de Silva, Rongjie Yan, Felix Ingrand, Rachid Alami, Saddek Bensalem
2015 Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction Extended Abstracts - HRI'15 Extended Abstracts  
for formally modeling and executing complex, real-time component-based systems, with supporting toolsets for verifying such systems.  ...  Our solution involves integrating two state-of-the-art technologies: G en oM, a tool in the LAAS architecture [1] for designing and implementing the functional level of robots; and BIP [2], a framework  ...  for formally modeling and executing complex, real-time component-based systems, with supporting toolsets for verifying such systems.  ... 
doi:10.1145/2701973.2702098 dblp:conf/hri/SilvaYIAB15 fatcat:dnoso5mghffmzjjkm4cgnxhymq

Towards an AADL-Based Definition of App Architecture for Medical Application Platforms [chapter]

Sam Procter, John Hatcliff, Robby
2017 Lecture Notes in Computer Science  
Our toolset provides an editing environment and translator for app architectures, i.e., their components and connections.  ...  Unfortunately, these applications are being built in an ad-hoc manner without proper regard for established distributed systems engineering techniques.  ...  -Support for real-time and quality-of-service configuration: In a real-time, safety-critical distributed system, correctness requires not only the right information, but also getting it at the right time  ... 
doi:10.1007/978-3-319-63194-3_3 fatcat:acxatovqmngz5g72nuc5nqfpcm

EXPLOR – A Novel Holistic Numerical Platform for Converged Optical-Wireless B5G Networks

Zoran Vujicic, Nikos Passas, Jonathan Rodriguez, Rahat Iqbal, Tomasz Maniak, Eftychia Datsika, John Vardakas, Charalampos Karyotis, Sherif Adeshina Busari
2020 Zenodo  
5th Generation (5G) communication systems are expected to undergo significant advances, with optical-wireless technologies being at the forefront of system design addressing key requirements targeting  ...  EXPLOR will provide a holistic insight into the field that will act as a tool for promoting and demonstrating future innovation in the field.  ...  with varying real-time constraints.  ... 
doi:10.5281/zenodo.5716896 fatcat:pdjyo4rwgfhtha25h7kchllv2a

Foreword to the special section on synchronous programming

Jean-Pierre Talpin
2013 Frontiers of Computer Science  
architecture exploration and real-time simulation.  ...  The present contribution pinpoints some of the less explored issues of instrumenting a specification formalism like the AADL with real-time distributed code generation techniques to support its use for  ... 
doi:10.1007/s11704-013-3905-5 fatcat:w3qx6kdphnd7jh2w67l4xqzkw4

Influence of a hybrid digital toolset on the creative behaviors of designers in early-stage design

Malgorzata A. Zboinska
2018 Journal of Computational Design and Engineering  
This strategy also boosts the cognitive behaviors of the designer by triggering divergent, transformative and convergent design activities and allowing for work on various abstraction levels.  ...  In addition, the strategy stimulates the explorative behaviors of the designer by encouraging the production of and interaction with a wide range of design representations, including physical and digital  ...  Acknowledgements This work was supported by the Department of Architecture of Chalmers University of Technology, Gothenburg, Sweden within a framework research grant, 'Architecture in the Making: Architecture  ... 
doi:10.1016/j.jcde.2018.12.002 fatcat:ztaa3jdli5ggpnckif2cak6edq

State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems

M. Bozga, A. David, A. Hartmanns, H. Hermanns, K. G. Larsen, A. Legay, J. Tretmans
2012 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
This paper surveys well-established/recent tools and techniques developed for the design of rigorous embedded systems.  ...  We will first survey UPPAAL and MODEST, two tools capable of dealing with both timed and stochastic aspects. Then, we will overview the BIP framework for modular design and code generation.  ...  THE UPPAAL TOOLSET UPPAAL [1] is a tool suit supporting modeling, simulation, verification, synthesis and performance analysis of real-time systems described as networks of timed automata [2] communicating  ... 
doi:10.1109/date.2012.6176499 dblp:conf/date/BozgaDHHLLT12 fatcat:jhl5e4fo7neupgnapdhd2eitfa

Semantic Web Services in the Development of Distributed Control and Automation Systems

Kleanthis C. Thamboulidis, Giannis V. Koumoutsos, George S. Doukas
2007 Engineering of Complex Computer Systems (ICECCS), Proceedings of the IEEE International Conference on  
Currently available tools for the development of the next generation distributed control and automation systems, adopt traditional architectural styles and do not cover the whole requirements of the development  ...  In this paper, a service-oriented architectural framework is adopted to provide the infrastructure for the exploitation of serviceoriented computing in the development process of factory automation systems  ...  The SIRENA approach [11] intends to create a service-oriented framework for specifying and developing distributed applications in diverse real-time embedded computing environments.  ... 
doi:10.1109/robot.2007.363918 dblp:conf/icra/ThamboulidisKD07 fatcat:xwt64px2fjajfj6b3qznvimpni

Design of a HW/SW communication infrastructure for a heterogeneous reconfigurable processor

A. Deledda, J. Becker, M. Coppola, L. Pieralisi, R. Locatelli, G. Maruccia, F. Campi, T. DeMarco, C. Mucci, A. Vitkovski, P. Bonnot, A. Grasset (+4 others)
2008 Proceedings of the conference on Design, automation and test in Europe - DATE '08  
On a reference CMOS090 implementation the described interconnect system works at the system reference frequency of 200 MHZ sustaining the required run-time bandwidth on a set of reference applications,  ...  Exploiting run-time adaptivity opens a new area of research by considering dynamic reconfiguration.  ...  Description of the network interfaces for HREs and NIs data transfers HREs may be provided with local DMA-like data transfer engines, programmed and controlled at system level through the toolset.  ... 
doi:10.1145/1403375.1403700 fatcat:5zby5nhhtrefda7hw7fwrljo6q

Service Performance Monitoring and Control Toolset

Marco Taisch, Mohammadreza Heydari, Alessandra Carosi, Christian Zanetti
2014 Procedia CIRP  
This paper defines an overall PI Toolset which has been developed specifically for Virtual Manufacturing Enterprise (VME) but could also be used for a single enterprise and for a wider set of enterprises  ...  In this respect, the purpose of this paper is to lay out a method for generating and selecting the PIs related to particular service system requirements.  ...  new approach for service performance management.  ... 
doi:10.1016/j.procir.2014.01.009 fatcat:largvm2jc5hg7ecqwcqhmhdbkm

An Overview of the mCRL2 Toolset and Its Recent Advances [chapter]

Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
2013 Lecture Notes in Computer Science  
The analysis of complex distributed systems requires dedicated software tools. The mCRL2 language and toolset have been developed to support such analysis.  ...  We also discuss the software architecture of the toolset, which was well suited to accommodate the above changes, and we address a number of case studies to illustrate the approach.  ...  Closing remarks The mCRL2 language and toolset provide end-users with state-of-the-art tools for analysing complex, distributed systems.  ... 
doi:10.1007/978-3-642-36742-7_15 fatcat:2w5x77uqpnbsvefa4zs6wzraqq

Spacecraft early design validation using formal methods

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
2014 Reliability Engineering & System Safety  
Our efforts resulted in a significant advancement of validating spacecraft designs from several perspectives, using a single integrated system model.  ...  For future space missions, we developed -with challenging requirements from the European space industry -a novel modeling language and toolset for a (semi-)automated validation approach.  ...  A rule of thumb towards this direction is that the time required for analysis increases along with the number of components.  ... 
doi:10.1016/j.ress.2014.07.003 fatcat:323zdjkgurd7bjuemikv3uxeg4

Toolset for measuring thermal behavior of FPGA devices

Pawel Weber, Maciej Zagrabski, Bartosz Wojciechowski, Krzysztof S. Berezowski, Maciej Nikodem, Krzysztof Kepa
2013 19th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC)  
In this work, we present a toolset suitable for the analysis of thermal behavior of FPGA devices.  ...  The toolset allows for the automatic synthesis of a unified temperature measurement and heat generation infrastructure combined with the necessary control structures and communication interfaces.  ...  The logic controlling the thermometers consists of a frequency divider for providing the time-base, a demultiplexer for setting enable signal to each sensor, Figure 1 : Overall architecture of the measurement  ... 
doi:10.1109/therminic.2013.6675251 fatcat:ik7tdutdsfcvjjfr475mcdz3ty

FPGA-based smart camera mote for pervasive wireless network

Cedric Bourrasset, Jocelyn Serot, Francois Berry
2013 2013 Seventh International Conference on Distributed Smart Cameras (ICDSC)  
An embedded real-time operating system is in charge of the communication layer, and thus can autonomously decide to use a part of the FPGA as an available processing resource.  ...  Consequently, on-board processing has become a key issue for the expansion of such networked systems.  ...  Toward the Internet of Things The proposed mote architecture has been designed in order to be integrated in the "Internet of Things".  ... 
doi:10.1109/icdsc.2013.6778226 dblp:conf/icdsc/BourrassetSB13 fatcat:ts5armn3ujdpvhmoy7i3bpe2tq
« Previous Showing results 1 — 15 out of 4,310 results