237,534 Hits in 6.9 sec

Static analysis of real-time component-based systems configurations

Candida Attanasio, Flavio Corradini, Paola Inverardi
2003 Science of Computer Programming  
Besides the usual behavioral and timing analysis, it is, for example, possible to verify if, and how changing the local speed of a component can a ect the global performance of the system.  ...  Moreover the resulting system is normally distributed. These systems have often real-time constraints= requirements and each component is characterized by its own speed determined by its local clock.  ...  Moreover, our aim is to carry on a static analysis of the system which should permit the evaluation of the synchronization potentiality of a component-based system at conÿguration time.  ... 
doi:10.1016/s0167-6423(02)00085-0 fatcat:t6q5nvoocfemzjnm6s66j7kgrq

Design and Performance Evaluation of Configurable Component Middleware for End-to-End Adaptation of Distributed Real-Time Embedded Systems

Nishanth Shankaran, Douglas C. Schmidt, Xenofon D. Koutsoukos, Yingming Chen, Chenyang Lu
2007 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)  
Standards-based quality of service (QoS)-enabled component middleware is increasingly being used as a platform for developing distributed real-time embedded (DRE) systems that execute in open environments  ...  This paper presents two contributions to research on adaptive resource management for component-based DRE systems.  ...  Moreover, due to the ease with which RACE can be configured, RACE can be employed in a wide range of DRE systems.  ... 
doi:10.1109/isorc.2007.27 dblp:conf/isorc/ShankaranSKCL07 fatcat:xmlwmp4tajavja3hwk2qwups3a

UML-based single-source approach for evaluation and optimization of mixed-critical embedded systems

P. Penil, H. Posadas, J. Medina, E. Villar
2015 2015 Conference on Design of Circuits and Integrated Systems (DCIS)  
non-real time tasks.  ...  The flow covers performance estimation, static schedulability analysis and code synthesis to guarantee the critical tasks' constraints and to evaluate the remaining times available for the execution of  ...  These tools are based on static analysis, and aim at providing the Worst Case Execution Time (WCET) of each task to ensure predictability and thus prevent timing violations, as required in real-time systems  ... 
doi:10.1109/dcis.2015.7388565 fatcat:rvu7rehhevbglf5i6tmtgeg4n4

A generative programming framework for adaptive middleware

V. Subramonian, C. Gill
2004 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the  
These component technologies have addressed a wide range of application domains, but unfortunately for distributed real-time and embedded (DRE) systems, the focus of these technologies has been primarily  ...  Third, it describes alternative mechanisms to ensure correct configuration of the aspects involved, and notes the phases of the DRE system lifecycle at which each such configuration mechanism is most appropriate  ...  Static Analysis Certain aspects of a system render themselves to be preconfigured at design time based on facts available at design time. A static analysis would suffice in such cases.  ... 
doi:10.1109/hicss.2004.1265639 dblp:conf/hicss/SubramonianG04 fatcat:2s5iifa6fvfjzjm4in6h4x3yzq

Component-Based Design of Embedded Software: An Analysis of Design Issues [chapter]

Christo Angelov, Krzysztof Sierszecki, Nicolae Marian
2005 Lecture Notes in Computer Science  
, which are predominantly real-time control and monitoring systems.  ...  Widespread use of embedded systems mandates the use of industrial production methods featuring model-based design and repositories of prefabricated software components.  ...  A process-based system is conceived as a set of interacting processes (tasks) running under a real-time kernel or a static schedule.  ... 
doi:10.1007/978-3-540-31869-9_1 fatcat:zo3nz4u25fba7j7rj2bisrl37i

QoS-Enabled Component Middleware for Distributed Real-Time and Embedded Systems [chapter]

Nanbor Wang, Douglas Schmidt, Gan Deng, Christopher Gill
2007 Chapman & Hall/CRC Computer & Information Science Series  
that component middleware provides to separate real-time policy configurations from application functionality.  ...  We also describe how the CoSMIC MDE tools support the deployment, configuration, and validation of component-based DRE systems developed using CIAO and DAnCE.  ...  To support the composition of real-time behaviors, CIAO allows developers of DRE systems to specify the desired real-time QoS policies and associate them with components or component assemblies.  ... 
doi:10.1201/9781420011746.pt3 fatcat:swedyievvrcbnfppo6ok26rlme

Evaluation of component technologies with respect to industrial requirements

A. Moller, M. Akerholm, J. Fredriksson, M. Nolin
2004 Proceedings. 30th Euromicro Conference, 2004.  
Companies that want to make use of component-based software engineering as available today can use this evaluation to select a suitable technology.  ...  We compare existing component technologies for embedded systems with respect to industrial requirements.  ...  Non-functional properties can be analysed during desing-time since the component technology is statically configured, but timing analysis on component and node level (i.e. schedulability analysis) is the  ... 
doi:10.1109/eurmic.2004.1333356 dblp:conf/euromicro/MollerAFN04 fatcat:rx5egvvqjvavxpvcf3vwnhywje

Software Certification for Distributed, Adaptable Medical Systems: Position Paper on Challenges and Paths Forward

Kurt Rohloff, Richard Schantz, Partha Pal, Joseph Loyall
2007 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007)  
The main components of our approach are: 1. Methods to identify and separate uncertifiable behavior based on system observables. 2.  ...  Elements of previously vetted architectural constructs, design principles and algorithms, along with static and dynamic analysis, simulation, testing and instrumentation/logging have all historically contributed  ...  A simple example is that of two high priority real-time components, each of which independently are shown to meet their real-time deadlines in isolation.  ... 
doi:10.1109/hcmdss-mdpnp.2007.5 fatcat:lpyyyuaasfe5pcamwcbpv2uuae

SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems

Weixun Wang, Prabhat Mishra, Ann Gordon-Ross
2009 2009 22nd International Conference on VLSI Design  
This paper presents a novel approach for implementing cache reconfiguration in soft real-time systems by efficiently leveraging static analysis during execution to both minimize energy and maximize performance  ...  It is a major challenge to introduce cache reconfiguration into real-time embedded systems since dynamic analysis may adversely affect tasks with real-time constraints.  ...  The static analysis approach is most appropriate for real-time systems due to its non-intrusive nature.  ... 
doi:10.1109/ dblp:conf/vlsid/WangMG09 fatcat:57q64l374zfy5ecghajrchpmpu

SaveCCM - a component model for safety-critical real-time systems

H. Hansson, M. AAkerholm, I. Crnkovic, M. Torngren
2004 Proceedings. 30th Euromicro Conference, 2004.  
However for the majority of embedded systems, run-time efficiency and prediction of system behaviour are as important as process efficiency. This calls for specialized technologies.  ...  Component-based development has proven effective in many engineering domains, and several general component technologies are available.  ...  Static configuration By static configuration we assume instantiation of assemblies and the included components.  ... 
doi:10.1109/eurmic.2004.1333431 dblp:conf/euromicro/HanssonACT04 fatcat:2cf27s5r4jfbzehmhqtituuahi

Modeling and Timing Analysis for Microkernel-based Real-Time Embedded System

Rongfei Xu, Li Zhang, Ning Ge
2019 IEEE Access  
INDEX TERMS Real-time embedded system, microkernel-based RTOS, application-specific operating system, timing analysis modeling, timing analysis tree.  ...  Currently, more and more application-specific operating systems (ASOSs) are applied in the domain of real-time embedded systems (RTESs).  ...  The work [7] proposed a strategy to manage the configuration of scheduling parameters for the real-time component-based applications.  ... 
doi:10.1109/access.2019.2906011 fatcat:fsok5bqtqvdwhlvuxcy5yz2t3y

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  ...  This paper describes how the ASSERT Virtual Machine, a dedicated execution platform that guarantees a predictable real-time behaviour, can be used to develop real-time embedded distributed systems with  ...  response time analysis of real-time systems.  ... 
doi:10.1109/etfa.2010.5641342 dblp:conf/etfa/ZamoranoP10 fatcat:7fjgbzfw2rbupjbqe65udjz6dm

Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model

Hector Perez, J. Javier Gutierrez, Esteban Asensio, Juan Zamorano, Juan A. de la Puente
2011 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications  
Building High-integrity Distributed Real-Time (HDRT) systems requires a rigorous methodology to assist in the design and development of verifiable software.  ...  Since those applications must be amenable to stringent timing analysis, such as the determination of worst-case execution time or schedulability analysis, we present the integration of a set of timing  ...  . • Real-time configuration code.  ... 
doi:10.1109/seaa.2011.40 dblp:conf/euromicro/PerezGAZP11 fatcat:po3g7h4kffczldcfaucltygtbq

Design and Performance Evaluation of an Adaptive Resource Management Framework for Distributed Real-Time and Embedded Systems

Nishanth Shankaran, Nilabja Roy, DouglasC Schmidt, XenofonD Koutsoukos, Yingming Chen, Chenyang Lu
2008 EURASIP Journal on Embedded Systems  
As standards-based quality of service (QoS) enabled component middleware automates integration and configuration activities, it is increasingly being used as a platform for developing open DRE systems  ...  that integrates many real-time capabilities, such as QoS-enabled network protocols, real-time operating system scheduling mechanisms and policies, and real-time middleware services.  ...  Overview of conventional and (ii) Design-time: Cadena [32] is an integrated environment for developing and verifying component-based DRE systems by applying static analysis, model-checking, and lightweight  ... 
doi:10.1155/2008/250895 fatcat:omltqirmf5cs5dzfh7emsgyklm

Formal Modeling and Analysis of AADL Threads in Real Time Maude

F. Belala, M. Benammar, K. Barkaoui, A. Hicheur
2012 Journal of Software Engineering and Applications  
Formal Modeling and Analysis of AADLThreads in Real Time Maude  ...  This formalization, based on real-time object-oriented theories, allows not only a precise description of the semantics of threads composition with respect to their timing requirements but also makes possible  ...  Real-Time Maude [4] extends the rewriting logic tool Maude to support formal specification and analysis of object based real-time systems which are suitable for modeling AADL architectural system.  ... 
doi:10.4236/jsea.2012.512b036 fatcat:gaitzcnmkzbwld47nbrcgm67fa
« Previous Showing results 1 — 15 out of 237,534 results