software Product Line testing is by its nature challenging, especially due to the exponential rise in the number of assets that need to be verified. Scalability and efficient verification, two challenges that model-ba...
详细信息
We introduce a new approach to performance analysis of DSP-kernel software, based on high-level abstractions, called Implicit Cache Simulation. the method can take into account any kind of instruction cache as well as...
详细信息
ISBN:
(纸本)0769510868
We introduce a new approach to performance analysis of DSP-kernel software, based on high-level abstractions, called Implicit Cache Simulation. the method can take into account any kind of instruction cache as well as code allocation effects. We show that no loss of estimation accuracy is implied by the proposed abstractions. Moreover the speed of the method is such that it can be efficiently used as a system-level design tool. We compare implicit cache simulation withthe trace-driven simulation approach, commonly used in industry. Experimental results show that our method is 4 times faster in the average and up to 11 times faster than trace-driven simulation.
In this paper we discuss a novel direction for evaluating system's dependability. the research efforts outlined are part of a special focus concerning the dependability of complex distributed systems at the Depart...
详细信息
ISBN:
(纸本)0769510868
In this paper we discuss a novel direction for evaluating system's dependability. the research efforts outlined are part of a special focus concerning the dependability of complex distributed systems at the Department of computerengineering of the Federal Armed Forces University in Munich, Germany. Our approach emphasized the behavior of components after they have been embedded in a system. We use the notion of effective values for the analysis and estimation of key dependability parameters. the concept is targeted to unify performance characterization withthe dependability's one. Besides analysis, we report on some simulation results, which were in favor of our assumptions.
this paper presents the emerging STEP standard AP-233 with focus on the non-functional requirements that have guided the development process. the purpose of the paper is to present and motivate the modelling assumptio...
详细信息
ISBN:
(纸本)0769510868
this paper presents the emerging STEP standard AP-233 with focus on the non-functional requirements that have guided the development process. the purpose of the paper is to present and motivate the modelling assumptions and approach selected for the AP-233 information model, and to present how the EXPRESS information modelling language have been used. Although the paper is focused on AP-233 and the constraints imposed by the STEP framework it is believed the structures and requirements presented are general and applicable to other systemsengineering information-modelling projects.
Nowadays, along with computing system becomes more and more complex, it is even harder to control the system effectively. In order to make it easier and ensure the reliability, the computing system needs to be self ma...
详细信息
ISBN:
(纸本)9780769543802
Nowadays, along with computing system becomes more and more complex, it is even harder to control the system effectively. In order to make it easier and ensure the reliability, the computing system needs to be self managed. In 2001, IBM proposed the concept of Autonomic Computing, in which system can manage itself through controlling the interaction of all the consisted parts. However, designing the interaction and verifying the autonomic features are not easy. Formal specification can be very helpful in achieving this. In this paper, we apply Process Algebra CSP in exploring the autonomic features of DMARF system. We give the formal specification of its three features, including self-protection, self-optimization and self-healing.
Robotics is a multi-disciplinary field that involves the use of multiple sensors for the application. these sensors can be of the same type or different types and measure various attributes of the environment. In this...
详细信息
作者：
He, JFUN Univ
Int Inst Software Technol Macau Peoples R China
Hybrid systems are interactive systems of continuous devices and digital control programs. Typical examples are digital modules that control a physical environment evolving over time. the principal problem of the subj...
详细信息
ISBN:
(纸本)0769517579
Hybrid systems are interactive systems of continuous devices and digital control programs. Typical examples are digital modules that control a physical environment evolving over time. the principal problem of the subject is to model them so that given a specification for the continuous component of the system, we can extract, if this is possible, from the description of the total system and the specification of the continuous component, the specification of the control program which will force the continuous device to meet its specification. this paper presents a formal description language for hybrid systems, which is an integration of CSP, which describes digital control programs, and DC for specification of continuous devices. We define primitive operators over systems in DC and prove that so defined operators meet basic algebraic laws of these operators.
Recently, performance analysis research on self-driving software has attracted considerable attention because the development of self-driving software has increased performance needs. ROS 2 is an open-source applicati...
详细信息
In today's fast-paced corporate environment, real-time data was essential for making educated decisions, but it was challenging to create dynamic dashboards with drill-down capabilities. this study investigated ho...
In today's fast-paced corporate environment, real-time data was essential for making educated decisions, but it was challenging to create dynamic dashboards with drill-down capabilities. this study investigated how Tag Helpers in *** Core improved maintainability, simplified HTML creation, and enhanced the user experience for real-time data visualization and analysis in business intelligence applications. the researchers demonstrated the power of Tag Helpers in visualizing key metrics and providing real-time insights to businesses. the findings suggested that Tag Helpers offered a powerful tool for creating dynamic web content and facilitating data analysis in real time.
Defect prediction and estimation techniques play an important role in software reliability engineering. this paper proposes a dynamic defect prediction model named SdDirM (System dynamic based Defect injection and rem...
详细信息
暂无评论