Distributed Real-Time Embedded (DRE) systems that ad-dress safety and mission-critical system requirements are applied in a variety of domains today. Complex, integrated systems like managed satellite clusters expose ...
详细信息
Distributed Real-Time Embedded (DRE) systems that ad-dress safety and mission-critical system requirements are applied in a variety of domains today. Complex, integrated systems like managed satellite clusters expose heterogeneous concerns such as strict timing requirements, complexity in system integration, deployment, and repair;and resilience to faults. Integrating appropriate modeling and analysis techniques into the design of such systems helps ensure predictable, dependable and safe operation upon deployment. This paper describes how we can model and analyze applications for these systems in order to verify system properties such as lack of deadline violations. Our approach is based on (1) formalizing the component operation scheduling using Colored Petri nets (CPN), (2) modeling the abstract temporal behavior of application components, and (3) integrating the business logic and the component operation scheduling models into a concrete CPN, which is then analyzed. This model-driven approach enables a verification-driven workflow wherein the application model can be refined and restructured before actual code development.
Many web sites have features that are only accessible after registering a user account on them. These sites include forums, on-line games, corporate Intranets and many on-line shops. The sites are typically secured th...
详细信息
The internet is a global network that uses communication protocols. It is considered the most important system reached by humanity, which no one can abandon [1]. However, this technology has become a weapon that threa...
详细信息
We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected and analyzed for 72 problem-solving episodes (9 s...
详细信息
Self-organizing emergent systems, also referred to as Decentralized Autonomic Computing systems, are commonly known for their scalability, robustness, flexibility, and adaptivity rather than their efficiency. However,...
详细信息
Green Dolphin (GD) is a question and answer system for students learning programming, with a social web interface. It crowd-sources the task of answering technical questions to the peers of students who ask questions....
详细信息
Component-Based System (CBS) is an approach to build applications from deployed components. It provides efficiency, reliability, maintainability. The challenge of interpreting the results of performance analysis and g...
详细信息
There are many popular Integrated Development Environments (IDE) that provide multiple visualizations and other sophisticated functionalities to facilitate program comprehension and debugging. To better understand the...
详细信息
暂无评论