Assurance (Security and Safety) Case is an approach to prove critical systems and software compliance with security and safety requirements. We propose an advanced framework named as Assurance Case Driven Design (AC DD) to improve cost-effectiveness of certification and licensing processes. AC DD is based on Claim-Argument-Evidence-Criteria (CAEC) notation and Development-Verification&Validatio...

We consider the problem of discovering sequential patterns from event-based spatio-temporal data. The dataset is described by a set of event types and their instances. Based on the given dataset, the task is to discover all significant sequential patterns denoting some attraction relation between event types occurring in a pattern. Already proposed algorithms discover all significant sequential...

Compliance with safety standards can greatly increase the development cost and time of critical systems. Major problems arise when evolutions to a system entail reconstruction of the body of safety evidence. When changes occur in the development or certification processes, identification of the new evidence to provide, the evidence that is no longer adequate, or the evidence that can be reused ...

This paper we investigate the existence and uniqueness of solutions to fuzzydierential equations driven by Liu's process. For this, it is necessary to provideand prove a new existence and uniqueness theorem for fuzzy dierential equationsunder weak Lipschitz condition. Then the results allows us to considerand analyze solutions to a wide range of nonlinear fuzzy dierential equationsdriven by Liu...

This is a short commentary to the editorial issued by Marianna Fotaki, entitled: “Why and how is compassion necessary to provide good quality healthcare.” It introduces the necessity of a more cognitive approach to explore further the determinants of behavior towards compassionate care. It raises questions about the importance of training towards a more patient-care and values driven healthcare...

Education for all-round development has become the teaching core of institutions of higher learning. We must transform the test from knowledgeable-oriented to quality-oriented to accomplish the improvement and development of modern higher education test system. We shall, in accordance with the requirements of training and majors, establish a set of systematic and comprehensive examination syste...

Nowadays as the trend of model driven development is evolved, the use of metamodeling has gain massive attention. Multiple metamodeling approaches have been developed for various usages. However, neither comparison nor an evaluation of these approaches has been suggested. In this paper, we propose a framework for comparing among metamodeling approaches.