Model-Driven Monitoring of Time-Critical Systems Based on Aspect-Oriented Programming

2011 ◽  
Author(s):  
Ki-seong Lee ◽  
Chan-Gun Lee
Keyword(s):  
Critical Systems ◽  
Aspect Oriented Programming ◽  
Model Driven ◽  
Time Critical

scholarly journals Guest Editors’ Introduction: Special Issue on Time-Critical Systems Design Part II

2018 ◽  
Vol 35 (4) ◽  
pp. 5-6
Author(s):  
Tulika Mitra ◽  
Jurgen Teich ◽  
Lothar Thiele
Keyword(s):  
Systems Design ◽  
Critical Systems ◽  
Special Issue ◽  
Time Critical

scholarly journals An Engineering Approach to Storage and Access in High Priority Scenarios

2019 ◽  
Vol 63 (1) ◽  
pp. 1349-1353
Author(s):  
FNU Varun Ananthasivan Srikrishnan ◽  
Richard T. Stone ◽  
Cong Xu
Keyword(s):  
Human Factors ◽  
Human Performance ◽  
Normal Operation ◽  
Aviation Industry ◽  
Critical Systems ◽  
Safety Critical ◽  
Work Spaces ◽  
Storage Room ◽  
Before And After ◽  
Time Critical

Over the past few years, an extensive amount of research has been done in the field of Human Factors. Applications range from the design of day-to-day products like cell phones to the design and development of safety-critical systems like flight displays. The highly critical aviation industry has shown time and again the importance of human-centered approach in developing systems for the safety of those operating it and the passengers. Similarly, other safety-critical industries like law enforcement have been seen to incorporate human factors in the design of weapons and exoskeletons aimed at adapting to humans and making their unit stronger. Many manufacturing firms have begun to see the importance of proper work postures for their employees to avoid musculoskeletal disorders and the financial and regulatory implications of not following proper work ethics that take care of employees’ health. Further, many organizations have started to consider team dynamics in their operations understanding the importance of healthy interaction among the employees and between employees and the management. However, there are a very few references to any studies or organizational practices that draw a connection between human performance and human-centric re-design of work places, with most designs being limited to work desks and activity-based working (ABW) work spaces. This paper focuses on the organizational engineering of storage spaces to enable easy location and retrieval of equipment, thus supporting the time-critical nature of operations at a miscellaneous storage room at the Story County Sheriff’s Office. Experiments were carried out using two familiar scenarios both before and after the redesign of the storage room. A significant improvement in the performance of the operator was observed after the redesign, as could be seen by the reduction in time taken to identify and retrieve equipment and the qualitative survey that was obtained at the end of the experiment. The wasted time was translated to a cost and the newly designed storage design saved a significant amount of money spent on actions that precluded efficient accomplishment of tasks, something that could have been used by the Sheriff’s office to purchase equipment for normal operation of the office. The results suggested such interventions in different sectors that have similar high-priority operations. The results of the study indicates that there is a need for the industry to extend research towards this field that we name “organization engineering”.

AOP's Modeling Research and Model Transformation with ATL in MDA

2011 ◽  
Vol 291-294 ◽  
pp. 97-100
Author(s):  
Jing Jun Zhang ◽  
Fei Wei ◽  
Hui Li
Keyword(s):  
Model Transformation ◽  
Model Driven Architecture ◽  
Aspect Oriented Programming ◽  
Model Driven ◽  
Transformation Language ◽  
Model Conversion

With Aspect Oriented Programming(AOP) technology, Model Driven Architecture(MDA) and ATLAS Transformation Language(ATL), this paper proposes a PIM framework of based on OOP and a PIM framework of based on AOP, also proposes a idea with ATL accept model conversion signals to model transformation.

A unified high-level Petri net formalism for time-critical systems

1991 ◽  
Vol 17 (2) ◽  
pp. 160-172 ◽  
Author(s):  
C. Ghezzi ◽  
D. Mandrioli ◽  
S. Morasca ◽  
M. Pezze
Keyword(s):  
Petri Net ◽  
Critical Systems ◽  
High Level ◽  
Time Critical

A METHODOLOGY AND SUPPORT TOOLS FOR ANALYSIS OF REAL-TIME SPECIFICATIONS

1996 ◽  
Vol 06 (03) ◽  
pp. 401-426 ◽  
Author(s):  
DOUGLAS A. STUART ◽  
ALOYSIUS K. MOK ◽  
FARNAM JAHANIAN
Keyword(s):  
Embedded Systems ◽  
Naval Research ◽  
Critical Systems ◽  
System Specification ◽  
Development Environment ◽  
Prototype Development ◽  
Support Tools ◽  
System Requirements ◽  
Time Critical ◽  
Verification Methodology

As software control of time-critical functions in embedded systems becomes more common, a means for the precise specification of their behavior and formal methods for analyzing system requirements become increasingly important. Modechart is a graphical specification language introduced to meet this need. The main focus of this paper is on methods and supporting tools for representing and reasoning about properties of time-critical systems specified in Modechart. The paper describes a verification methodology which takes advantage of the structuring inherent in a Modechart specification to determine whether a system specification satisfies the required properties. The paper also describes the implementation of a mechanical verifier, based on the proposed approach, which has been recently integrated as part of the Modechart Toolset prototype development environment from the Naval Research Lab [7].

Sign in / Sign up

Export Citation Format

Share Document