Luís Diogo Couto · Technical Report Electronics and Computer Engineering · 2014
This report contains the progress report written as part of the author's PhD qualifying exam. It describes initial work carried out in analyzing and improving the extensibility of software systems, including a detailed case study analyzing the extensibility of the Proof Obligation Generator (POG) of the Overture tool. Additional extension work includes improving the output format of the POG and support for additional logic systems. Future work for the remaining half of the PhD is also discussed, including ways to combine formal modelling and extensibility analysis and also techniques for multi-paradigm extensibility.
Cited by 0Open access
Todd Millstein, Craig Chambers · 2003
Programming languages that support the creation of reusable software components help make programs easier to create, maintain, and understand. To accrue these benefits in practice, a component must be extensible, able to be easily augmented from the outside by clients. A component must also support modular reasoning, providing an interface to clients that specifies the component's behavior and constraints for its proper usage.
Unfortunately, the goals of component extensibility and modular reasoning are inherently in conflict: the more extensible a component is, the harder it is to ensure properties of the component in isolation from its clients. Mainstream object-oriented (OO) and functional languages support modular reasoning in the form of modular static typechecking, which provides basic well-formedness guarantees about components. However, these languages lack some common forms of extensibility. For example, OO languages lack the functional ability to lack OO-style subclassing. The conflict between extensibility and modular reasoning has forced previous languages that support these missing extensibility idioms to forgo modular typechecking.
In this dissertation, I show how programming languages can support both the OO and functional extensibility idioms while maintaining modular typechecking of components. I develop a modular type system for a simple but flexible calculus. I then apply this theoretical work to the design of practical extensions to mainstream OO and functional languages.
Cited by 8
James O. Henriksen · 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165) · 2002
SLX, Simulation Language with Extensibility, is the newest member in Wolverine Software's family of simulation and animation software. SLX features unique extensibility mechanisms that allow users to tailor and extend SLX's modeling capabilities. There are two advantages to extensibility. First, it ensures virtually unlimited adaptability. You will never get "stuck" with a problem you can't solve with SLX. Second, extensibility allows packaging the use of highly efficient, low-level primitives in such a way that cumbersome details are hidden. Problems are described using nouns and verbs appropriate to the application. The tools provided for extending SLX include many of the tools used to develop SLX itself; however, these tools are by no means intended to be used exclusively by language developers. They are "user-level" tools that can be mastered by anyone. The paper presents an overview of SLX. Earlier papers (J.O. Henriksen, 1997, 1998) presented the development of a conveyor modeling package in SLX, and example of how SLX has been coupled with other software, respectively.
Cited by 30
Jed Brown, Matthew G. Knepley, Barry Smith · Computing in Science & Engineering · 2014
Build-time configuration and environment assumptions are hampering progress and usability in scientific software. This situation, which would be utterly unacceptable in nonscientific software, somehow passes for the norm in scientific packages. The scientific software community needs reusable, easy-to-use software packages that are flexible enough to accommodate next-generation simulation and analysis demands.
Cited by 27
Heinlein, C., Ulm Univ. (Germany). Fakultaet fuer Informatik · OpenGrey (Institut de l'Information Scientifique et Technique) · 2003
Cited by 0
Linnoskivi, Markku · Aaltodoc (Aalto University) · 2010
Reliability and extensibility are major concerns in any non-trivial software system. Especially the ones used commercially. It often happens that existing implementations become old and aren't any longer sufficient for the task they are required to do. One method to fix the situation is refactoring or rewriting. This thesis concentrates on refactoring and rewriting done on a piece of slot machine software. The aim of the project was to produce a better version of an existing implementation in respect to reliability and extensibility. The bulk of the implementation work was done alone by the author. These two implementations are compared in the analysis chapter. The results will show that the quality of the software has improved over the previous one.
Cited by 0
Steven A. Parker, R. H. Mumm · 1991
Abstract : This report describes the research carried out on the Software Life- Cycle Support Environment (SLCSE) by the Software Engineering Environment (SEE) prototypes task of the Software Engineering for C3 Systems project. The focus of this investigation is to perform extensibility experiments with the SLCSE. These experiments included the development of an interface to the ALS/N ADAVAX compiler and the integration of a number of public domain and other no-cost software tools into the SLCSE. One goal of this research was to determine of the SLCSE could be tailored to meet the needs of a specific project.
Cited by 0
Matthew J. LaMantia · DSpace@MIT (Massachusetts Institute of Technology) · 2006
Thesis (S.M.)--Massachusetts Institute of Technology, System Design and Management Program, 2006.
Cited by 0Open access
Ma Juan, Hongbing Qian · 2010
To analyze software dependability in the early phases of software development, this paper firstly annotates software non-functional properties to UML models which are used to describe software functions based on UML extensibility mechanism and the relationship model between software dependability and non-functional properties. Then a method is proposed to analyze and verify software dependability using the formal specification of sequence diagram and activity diagram and the non-functional property values of UML models. Finally, an example is given to demonstrate how to use this method.
Cited by 0
Canon Incorporation, Tokyo, Japan., Takanori Sasaki, Nobukazu Yoshioka et al. · Journal of Software · 2015
Lightweight development processes like Agile have emerged in response to rapidly changing market requirements. However, software evolution processes including Agile are inadequate for software in embedded systems, as software undergoes frequent refactoring, targeting only immediate requirements. As a result, maintainability decreases because the system is not designed to respond to changes in the associated hardware. In this paper, we propose a method for improving extensibility. We also propose a technique for detecting and suggesting extension design patterns automatically. Our approach is based on analyses of the call graph and inheritance structure of source code to identify a layer structure that is specific to embedded software. These techniques provide us with objective and quantitative information about extensibility. We applied the proposed method to an actual product’s code continuously and could verify an improvement in the system’s extensibility.
Cited by 0Open access
Marco Yuen, Marc E. Fiuczynski, Robert Grimm et al. · 2006
Abstract. This paper presents work in progress on the C4 toolkit, which is designed to bring AOSD techniques to system software written in C and which we have used for introducing aspects into the Linux 2.6 kernel. The design of our toolkit focuses on addressing key concerns raised by system software developers when handed a new programming paradigm: readability, compatibility, performance, and the preservation of existing development workflows. By addressing these concerns, we believe our toolkit can bring the benefits of AOSD techniques to any large and complex program written in C. 1
Cited by 0
Teresa Lopes, I.A. Neag, J.E. Ralph · 2006
The extension of standardized software interfaces provides a consistent format by which software vendors expose unique functional features of a product, as well as features common with other products, but not supported by existing standards. Extensibility is critical in the field of automatic test systems (ATSs) due to the diversity of existing hardware and software and the need to maintain systems over long periods of time. The paper describes the principle of interface extensibility and shows that, when properly used, extensions do not compromise the interoperability benefits obtained through standardization. Modern software interfacing technologies provide effective support for extensibility. The paper illustrates this support by analyzing the extensibility features of various ATS software standards. This analysis is used to derive a set of rules for designing interface extensions. Extensibility in the emerging automatic test markup language (ATML) standards is presented in detail and illustrated through examples
Cited by 2
Markus Weseloh, Roland Rüdiger · 1999
... This paper presents an architecture and a prototypical realization of an experimental tool designed along the lines of these novel ideas. The tool is based on a hierarchy of model layers for analyzing the temporal behaviour of CAN-systems. The underlying mathematical key ideas include: worst case analysis of response times, probabilistic error model, and quality measure of timeliness. The architecture allows to easily extend the system and to exchange, among other things, the basic equations, the algorithms, and the probability distributions involved without affecting other parts of the system.
Cited by 0
Julia Bauer, Wenjing Chen, Katia Parodi et al. · Open MIND · 2016
Illustrationen
Cited by 0Open access
Q. Zhu, Y. Yang, E. Scholte et al. · CINECA IRIS Institutional Research Information System (Sant'Anna School of Advanced Studies) · 2010
We consider a set of control tasks that must be executed on distributed platforms so that end-to-end latencies are within deadlines. We investigate how to allocate tasks to nodes, \npack signals to messages, allocate messages to buses, and assign \npriorities to tasks and messages, so that the design is extensible and robust with respect to changes in task requirements.We adopt a notion of extensibility metric that measures how much the execution times of tasks can be increased without violating end-to-end deadlines. \nWe optimize the task and message design with respect to this \nmetric by adopting a mathematical programming front-end followed by postprocessing heuristics. The proposed algorithm as applied to industrial strength test cases shows its effectiveness in optimizing extensibility and a marked improvement in running time with respect to an approach based on randomized optimization.
Cited by 0
Edson Oliveira, José Carlos Maldonado, Itana Maria de Souza Gimenes · 2010
The software product line (PL) architecture (PLA) is one of the most important PL core assets as it is the abstraction of the products that can be generated, and it represents similarities and variabilities of a PL. Its quality attributes analysis and evaluation can serve as a basis for analyzing the managerial and economical values of a PL. We proposed metrics for PLA complexity and extensibility quality attributes. This paper is concerned with the empirical validation of such metrics. As a result of the experimental work we can conclude that the metrics are relevant indicators of complexity and extensibility of PLA by presenting their correlation analysis.
Cited by 4
A. Shimizu, Shin’ichi Warisawa, Mamoru Mitsuishi · The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec) · 2001
Cited by 0Open access
David Thomas, Anthony Murphy, Fiona Chen et al. · El Sawah, S. (ed.) MODSIM2019, 23rd International Congress on Modelling and Simulation. · 2019
The ArcWeld software is a "factory-floor" application, designed to provide simulation of welding capability to users with little or no knowledge of the underlying mathematics or physical processes involved. As such it is an excellent demonstration of how stranded IP, which is only usable by an expert, can be converted into a user-friendly software application, presenting complex inputs and results in a simple-to-use and easy-tounderstand form. ArcWeld is built on the powerful Workspace workflow framework, which presents an easy pathway for researchers to turn their scientific software and manual processes into an end product usable by a wide range of customers. This paper describes the challenges facing the developer when producing, maintaining, and enhancing software such as ArcWeld, and how the Workspace ecosystem can mitigate many of the obstacles facing a researcher whose aim is to make their solver's modelling and simulation capability more widely available. This is illustrated using a case study, in which the changes and extensions required by a new commercial customer are described. The changes included a wider range of process parameters and the requirement for in-built graphics. This required additional input and output files as well as many changes to the graphical user interface.
Cited by 2Open access
Julien Cegarra, Benoît Valéry, Eugénie Avril et al. · Behavior Research Methods · 2020
Cited by 69Open access
Dina A. Ramadan · Delta University Scientific Journal · 2024
Background: Numerous reliable methods are available for evaluating hamstring flexibility, with the sit-and- reach test emerging as the most widely employed approach. Objective: To analyze the intra-rater and inter-rater reliability and the criterion validity of Kinovea software for measuring hamstring extensibility using the sit-and- reach test. Methods: 65 participants, aged between 18 and 25 years, participated in this study. Hamstring extensibility was measured through the sit-and-reach test, concurrently captured by a video camera. Each video underwent downloading onto a computer, followed by analysis using Kinovea software to evaluate criterion validity. Participants received two shots; the 1st shot had been done in the 1st of assessment and the 2nd shot had been done 1 week later to asses intra rater reliability and first assessment had been done by two different examiners to assess inter rater reliability. Results: The correlation coefficients indicated an extremely high correlation between the sit-and-reach test and Kinovea measurements (p < 0.001). Intra-rater reliability was excellent, showing an intraclass correlation coefficient (ICC) of 0.996 for Kinovea measurements. Inter-rater reliability was excellent, showing an ICC of 0.999 for Kinovea measurements. Cohen's Kappa statistic showed almost perfect agreement between raters, with a value of 0.969 for all measurements. Conclusions: The Kinovea software showed excellent intra-rater, inter-rater reliability and strong criterion validity for measuring hamstring extensibility compared to the sit-and-reach test.
Cited by 0Open access