Papers by Massoud Alahdini
This master thesis presents a practical work for implementing a software tool that is used for au... more This master thesis presents a practical work for implementing a software tool that is used for automating formal verification tasks for PLC-programs. PLC-programs being used in manufacturing industries are on the demand of new requirements such as correct usage and behavior of the components. However, it is required to facilitate quick and correct modification of the programs as much as possible. One possible solution is to reuse the programs code. The code that is structured into reusable components may speed up the development process. Furthermore it may cause the control program to have fewer bugs. For this aim, the previous research suggested to apply Reusable Automation Components (RACs). The RACs contain the implementation and formal specification. To enhance reusability, it is necessary to identify and specify the requirements for the RACs. Additionally, the complete RAC including the specification must be translated into input to a tool for formal verification, to determine ...
This master thesis presents a practical work for implementing a software tool that is used for au... more This master thesis presents a practical work for implementing a software tool that is used for automating formal verification tasks for PLC-programs. PLC-programs being used in manufacturing industries are on the demand of new requirements such as correct usage and behavior of the components. However, it is required to facilitate quick and correct modification of the programs as much as possible. One possible solution is to reuse the programs code. The code that is structured into reusable components may speed up the development process. Furthermore it may cause the control program to have fewer bugs. For this aim, the previous research suggested to apply Reusable Automation Components (RACs). The RACs contain the implementation and formal specification. To enhance reusability, it is necessary to identify and specify the requirements for the RACs. Additionally, the complete RAC including the specification must be translated into input to a tool for formal verification, to determine whether the implementation of the components fulfils the specification or not. CHAPTER 1-Theory This chapter gives a brief introduction, an overview and background theory to my master thesis project. Furthermore, it describes a case study through an industrial example, which has been applied to the implemented tool in this thesis work.
Software Engineering, …, Jan 1, 2004
Over the last decade, a lot of research has been directed toward integrating performance analysis... more Over the last decade, a lot of research has been directed toward integrating performance analysis into the software development process. Traditional software development methods focus on software correctness, introducing performance issues later in the development process. This approach does not take into account the fact that performance problems may require considerable changes in design, for example, at the software architecture level, or even worse at the requirement analysis level. Several approaches were proposed in order to address early software performance analysis. Although some of them have been successfully applied, we are still far from seeing performance analysis integrated into ordinary software development. In this paper, we present a comprehensive review of recent research in the field of model-based performance prediction at software development time in order to assess the maturity of the field and point out promising research directions.
Systematic testing is very important for assessing and improving the quality of software systems.... more Systematic testing is very important for assessing and improving the quality of software systems. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The Dutch research and development project Côte de Resyste worked on methods, techniques and tools for automating specification based testing using formal methods. The main achievement of the project is a test tool, baptized TorX, which integrates automatic test generation, test execution, and test analysis in an on-the-fly manner. On the one hand, TorX is based on well-defined theory, viz. the ioco-test theory, which has its roots in the theory of testing-and refusal-equivalences for transition systems. On the other hand, the applicability of TorX has been demonstrated by testing several academic and industrial case studies. This paper summarizes the main results of the project Côte de Resyste.
Uploads
Papers by Massoud Alahdini