The Experts below are selected from a list of 91227 Experts worldwide ranked by ideXlab platform
Swati Sharma - One of the best experts on this subject based on the ideXlab platform.
-
Improvement In Risk-Driven Software Process Case Study
International Journal of Research, 2014Co-Authors: Sandeep Yadav, Swati SharmaAbstract:The paper presents the case study objectives and reports on the results of two phases aiming at process improvement application of a risk-Driven Software process improvement frame work in a real-life Software project.
Sandeep Yadav - One of the best experts on this subject based on the ideXlab platform.
-
Improvement In Risk-Driven Software Process Case Study
International Journal of Research, 2014Co-Authors: Sandeep Yadav, Swati SharmaAbstract:The paper presents the case study objectives and reports on the results of two phases aiming at process improvement application of a risk-Driven Software process improvement frame work in a real-life Software project.
Chao Wang - One of the best experts on this subject based on the ideXlab platform.
-
ASE - Modular verification of interrupt-Driven Software
2017 32nd IEEE ACM International Conference on Automated Software Engineering (ASE), 2017Co-Authors: Chungha Sung, Markus Kusano, Chao WangAbstract:Interrupts have been widely used in safety-critical computer systems to handle outside stimuli and interact with the hardware, but reasoning about interrupt-Driven Software remains a difficult task. Although a number of static verification techniques have been proposed for interrupt-Driven Software, they often rely on constructing a monolithic verification model. Furthermore, they do not precisely capture the complete execution semantics of interrupts such as nested invocations of interrupt handlers. To overcome these limitations, we propose an abstract interpretation framework for static verification of interrupt-Driven Software that first analyzes each interrupt handler in isolation as if it were a sequential program, and then propagates the result to other interrupt handlers. This iterative process continues until results from all interrupt handlers reach a fixed point. Since our method never constructs the global model, it avoids the up-front blowup in model construction that hampers existing, non-modular, verification techniques. We have evaluated our method on 35 interrupt-Driven applications with a total of 22,541 lines of code. Our results show the method is able to quickly and more accurately analyze the behavior of interrupts.
-
Modular verification of interrupt-Driven Software
2017 32nd IEEE ACM International Conference on Automated Software Engineering (ASE), 2017Co-Authors: Chungha Sung, Markus Kusano, Chao WangAbstract:Interrupts have been widely used in safety-critical computer systems to handle outside stimuli and interact with the hardware, but reasoning about interrupt-Driven Software remains a difficult task. Although a number of static verification techniques have been proposed for interrupt-Driven Software, they often rely on constructing a monolithic verification model. Furthermore, they do not precisely capture the complete execution semantics of interrupts such as nested invocations of interrupt handlers. To overcome these limitations, we propose an abstract interpretation framework for static verification of interrupt-Driven Software that first analyzes each interrupt handler in isolation as if it were a sequential program, and then propagates the result to other interrupt handlers. This iterative process continues until results from all interrupt handlers reach a fixed point. Since our method never constructs the global model, it avoids the up-front blowup in model construction that hampers existing, non-modular, verification techniques. We have evaluated our method on 35 interrupt-Driven applications with a total of 22,541 lines of code. Our results show the method is able to quickly and more accurately analyze the behavior of interrupts.
Chungha Sung - One of the best experts on this subject based on the ideXlab platform.
-
ASE - Modular verification of interrupt-Driven Software
2017 32nd IEEE ACM International Conference on Automated Software Engineering (ASE), 2017Co-Authors: Chungha Sung, Markus Kusano, Chao WangAbstract:Interrupts have been widely used in safety-critical computer systems to handle outside stimuli and interact with the hardware, but reasoning about interrupt-Driven Software remains a difficult task. Although a number of static verification techniques have been proposed for interrupt-Driven Software, they often rely on constructing a monolithic verification model. Furthermore, they do not precisely capture the complete execution semantics of interrupts such as nested invocations of interrupt handlers. To overcome these limitations, we propose an abstract interpretation framework for static verification of interrupt-Driven Software that first analyzes each interrupt handler in isolation as if it were a sequential program, and then propagates the result to other interrupt handlers. This iterative process continues until results from all interrupt handlers reach a fixed point. Since our method never constructs the global model, it avoids the up-front blowup in model construction that hampers existing, non-modular, verification techniques. We have evaluated our method on 35 interrupt-Driven applications with a total of 22,541 lines of code. Our results show the method is able to quickly and more accurately analyze the behavior of interrupts.
-
Modular verification of interrupt-Driven Software
2017 32nd IEEE ACM International Conference on Automated Software Engineering (ASE), 2017Co-Authors: Chungha Sung, Markus Kusano, Chao WangAbstract:Interrupts have been widely used in safety-critical computer systems to handle outside stimuli and interact with the hardware, but reasoning about interrupt-Driven Software remains a difficult task. Although a number of static verification techniques have been proposed for interrupt-Driven Software, they often rely on constructing a monolithic verification model. Furthermore, they do not precisely capture the complete execution semantics of interrupts such as nested invocations of interrupt handlers. To overcome these limitations, we propose an abstract interpretation framework for static verification of interrupt-Driven Software that first analyzes each interrupt handler in isolation as if it were a sequential program, and then propagates the result to other interrupt handlers. This iterative process continues until results from all interrupt handlers reach a fixed point. Since our method never constructs the global model, it avoids the up-front blowup in model construction that hampers existing, non-modular, verification techniques. We have evaluated our method on 35 interrupt-Driven applications with a total of 22,541 lines of code. Our results show the method is able to quickly and more accurately analyze the behavior of interrupts.
Rubén Prieto-díaz - One of the best experts on this subject based on the ideXlab platform.
-
Use cases in model-Driven Software engineering
Lecture Notes in Computer Science, 2006Co-Authors: Hernán Astudillo, Gonzalo Génova, Michal Smialek, Juan Llorens, Pierre Metz, Rubén Prieto-díazAbstract:Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the Software components to build or procure. WUsCaM 05 - Workshop on Use Cases in Model-Driven Software Engineering - brought together use case and MDSE experts from industry and academia to identify and characterize problem areas and promising approaches.
-
MoDELS Satellite Events - Use cases in model-Driven Software engineering
Satellite Events at the MoDELS 2005 Conference, 2006Co-Authors: Hernán Astudillo, Gonzalo Génova, Juan Llorens, Pierre Metz, Michał Śmiałek, Rubén Prieto-díazAbstract:Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the Software components to build or procure. WUsCaM 05 – “Workshop on Use Cases in Model-Driven Software Engineering” – brought together use case and MDSE experts from industry and academia to identify and characterize problem areas and promising approaches.
