Filters








8,749 Hits in 3.6 sec

A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions

Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
2019 Sensors  
In this paper, we attempt to address this need, by proposing a generic integrated ambient assisted living system architecture, consisting of sensors, data collection, local and cloud processing schemes  ...  Since modern ambient assisted living solutions integrate a multitude of assisted-living functionalities, out of which some are safety critical, it is desirable that these systems are analyzed at their  ...  The other two authors provided ideas Writing-review and editing the modeling and verification of the AAL system, as well as feedback for the paper.  ... 
doi:10.3390/s19225057 pmid:31752450 pmcid:PMC6891629 fatcat:22zy445xxvblhj2twjztn5alrm

Modelling Resilience of Data Processing Capabilities of CPS [chapter]

Linas Laibinis, Dmitry Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov
2014 Lecture Notes in Computer Science  
The formal development allows us to derive a complex system architecture and verify correctness.  ...  We rely on modelling in Event-B to formally define the dynamic architecture of the system with the integrated dynamically scaling parallelism and reconfiguration.  ...  Event-B adopts an event-based modelling style that facilitate a correct-by-construction development of parallel and distributed system.  ... 
doi:10.1007/978-3-319-12241-0_5 fatcat:a4wmhlqtnnggzcw4u72gd755ca

Data Abstraction Architecture for Monitoring and Control of Lunar Habitats

Scott Bell, David Kortenkamp, Jack Zaientz
2009 SAE International Journal of Aerospace  
For this data to be useful to humans monitoring these systems and to automated algorithms controlling these systems it will need to be converted into more abstract data.  ...  The DAA is a series of mathematical or logical transformations of telemetry data to provide appropriate inputs from a hardware system to a hardware system controller, system engineer, or crew.  ...  INTRODUCTION Space systems are growing more and more complicated and containing more and more sensors.  ... 
doi:10.4271/2009-01-2465 fatcat:5nfqraaz2jfmhdomudnax2sjra

A G Protein-Coupled Receptor Is a Plasma Membrane Receptor for the Plant Hormone Abscisic Acid

X. Liu, Y. Yue, B. Li, Y. Nie, W. Li, W.-H. Wu, L. Ma
2007 Science  
Altering circuit architecture showed that the duration of competence events can be made more precise.  ...  The dynamic process of differentiation depends on the architecture, quantitative parameters, and noise of underlying genetic circuits.  ...  As a comparison, we also measured length distributions for noncompetent cells at a similar distribution of times.  ... 
doi:10.1126/science.1135882 pmid:17347412 fatcat:ko7qonevorfgvl4o2fiya25bg4

Tunability and Noise Dependence in Differentiation Dynamics

G. M. Suel, R. P. Kulkarni, J. Dworkin, J. Garcia-Ojalvo, M. B. Elowitz
2007 Science  
Altering circuit architecture showed that the duration of competence events can be made more precise.  ...  The dynamic process of differentiation depends on the architecture, quantitative parameters, and noise of underlying genetic circuits.  ...  As a comparison, we also measured length distributions for noncompetent cells at a similar distribution of times.  ... 
doi:10.1126/science.1137455 pmid:17379809 fatcat:jtxbx3pp4vf7tpzapg4iejtfty

An Architecture Description Language Based on Dynamic Description Logics [chapter]

Zhuxiao Wang, Hui Peng, Jing Guo, Ying Zhang, Kehe Wu, Huan Xu, Xiaofeng Wang
2012 IFIP Advances in Information and Communication Technology  
ADML is being developed as a new formal language and/or conceptual model for representing the architectures of concurrent and distributed systems, both hardware and software.  ...  ADML is an architectural description language based on Dynamic Description Logic for defining and simulating the behavior of system architecture.  ...  This work is supported by the Fundamental Research Funds for the Central Universities (No.11QG13) and the National Science Foundation of China (No.71101048).  ... 
doi:10.1007/978-3-642-32891-6_21 fatcat:iwjunprouvfcjmy4ea7g23krby

A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems [chapter]

Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli
2005 Lecture Notes in Computer Science  
Taking advantage of the characteristics of a particular class of systems, this paper develops a methodology to construct an efficient, scalable and easily maintainable architectural model for such class  ...  However, for large systems, the state space of the system model may result extremely large, hardening its solution.  ...  Acknowledgments This work has been partially supported by the European Community through the IST-2001-38229 CAUTION++ project and by the Italian Ministry for University, Science and Technology Research  ... 
doi:10.1007/978-3-540-30225-4_12 fatcat:yiu6nn4bfbgcjajdpvlncyqmbi

Idest: Learning a Distributed Representation for Event Patterns

Sebastian Krause, Enrique Alfonseca, Katja Filippova, Daniele Pighin
2015 Proceedings of the 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies  
This paper describes IDEST, a new method for learning paraphrases of event patterns.  ...  It can generalize across extractions from different dates to produce a robust paraphrase model for event patterns that can also capture meaningful representations for rare patterns.  ...  This paper describes IDEST, a new method for learning paraphrases of event patterns that is designed to combine the advantages of these two systems and compensate for their weaknesses.  ... 
doi:10.3115/v1/n15-1120 dblp:conf/naacl/KrauseAFP15 fatcat:p423bhkzhnd5thoedpsv5pbt7y

A framework for estimating the energy consumption induced by a distributed system's architectural style

Chiyoung Seo, George Edwards, Daniel Popescu, Sam Malek, Nenad Medvidovic
2009 Proceedings of the 8th international workshop on Specification and verification of component-based systems - SAVCBS '09  
In this paper, we present a framework that facilitates early estimation of the energy consumption induced by an architectural style in a distributed system, and enables an engineer to use energy consumption  ...  estimates along with other quality attributes in determining the most appropriate style for a given distributed application.  ...  Fielding [2] and Mehta [13] identified more than twenty architectural styles for distributed systems.  ... 
doi:10.1145/1596486.1596493 dblp:conf/sigsoft/SeoEPMM09 fatcat:35urp623nfek7btbjmvtufpaxu

Model-based runtime analysis of distributed reactive systems

A. Bauer, M. Leucker, C. Schallhart
2006 Australian Software Engineering Conference (ASWEC'06)  
In this paper, we present a novel and efficient approach for analysing reactive distributed systems at runtime, in that we provide a framework for detecting failures as well as identifying their causes  ...  Reactive distributed systems have pervaded everyday life and objects, but often lack measures to ensure adequate behaviour in the presence of unforeseen events or even errors at runtime.  ...  The distributed-system view So far, we merely discussed the tier-structure of our architecture, while we did mostly ignore the distributed nature of it.  ... 
doi:10.1109/aswec.2006.36 dblp:conf/aswec/0002LS06 fatcat:tl2c2einebcfbmpvulntw5tyai

A style-aware architectural middleware for resource-constrained, distributed systems

S. Malek, M. Mikic-Rakic, N. Medvidovic
2005 IEEE Transactions on Software Engineering  
Recently, Prism-MW has been successfully evaluated by a major industrial organization for use in one of their key distributed embedded systems.  ...  Prism-MW has been applied in a number of applications and used as an educational tool in graduate-level software architecture and embedded systems courses.  ...  Mattmann, A. Rampurwala, E. Sanchez, V. Viswanathan, and students from USC's CSCI 578 and 589 courses who contributed to the development of Prism-MW and various applications on top of it.  ... 
doi:10.1109/tse.2005.29 fatcat:uttegdvmdzdwlgncko327ghyri

Programming framework for clusters with heterogeneous accelerators

Kuen Hung Tsoi, Anson H.T. Tse, Peter Pietzuch, Wayne Luk
2011 SIGARCH Computer Architecture News  
We describe a programming framework for high performance clusters with various hardware accelerators.  ...  The distributed application is highly modularized to support dynamic system configuration with changing types and number of the accelerators.  ...  The input events are independent and distributed to different M comp workers for parallelization. The outputs contain lists of triggered subscribers which are also independent.  ... 
doi:10.1145/1926367.1926377 fatcat:ijaqj4z3ardaxnlty5tyd3hnte

A Framework for Estimating the Impact of a Distributed Software System's Architectural Style on its Energy Consumption

Chiyoung Seo, George Edwards, Sam Malek, Nenad Medvidovic
2008 Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)  
The selection of an architectural style for a given software system is an important factor in satisfying its quality requirements.  ...  In this paper, we present a framework that (1) facilitates early estimation of the energy consumption induced by an architectural style in a distributed software system, and (2) consequently enables an  ...  consumption of a distributed system.  ... 
doi:10.1109/wicsa.2008.28 dblp:conf/wicsa/SeoEMM08 fatcat:aj6pqjnaxndtnezp36kfitmcsa

Network Services on Service Extensible Routers [chapter]

Lukas Ruf, Károly Farkas, Hanspeter Hug, Bernhard Plattner
2009 Lecture Notes in Computer Science  
Hence, it needs to provide the concept of functional service composition that hides the complexity of a distributed, dynamically code-extensible system.  ...  They provide the concepts and methods to specify a network service as a graph of service chains with service components, and service-internal control relations.  ...  By the mechanisms of stubs and skeletons, a client-server architecture for distributed components is specified.  ... 
doi:10.1007/978-3-642-00972-3_5 fatcat:lotg6grdljg7xjjrtrjz5xuque

From AADL Architectural Models to Petri Nets: Checking Model Viability

Xavier Renault, Fabrice Kordon, Jérôme Hugues
2009 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing  
Modeling of Distributed Real-Time Embedded (DRE) systems allows one to evaluate models behavior or schedulability.  ...  In this paper, we propose a global approach to building Petri Nets models from an architecture described using AADL.  ...  They are suitable for a deep analysis of causal property in distributed systems.  ... 
doi:10.1109/isorc.2009.11 dblp:conf/isorc/RenaultKH09 fatcat:mflrbl4o5jbmhdletmwco34nlq
« Previous Showing results 1 — 15 out of 8,749 results