ITC/USA 2005 Conference Proceedings / The Forty-First Annual International Telemetering Conference and Technical Exhibition / October 24-27, 2005 / Riviera Hotel & Convention Center, Las Vegas, Nevada / This paper presents an approach to development of generic ground systems to be used for spacecraft testing and operations. This method makes use of a standard modeling method, which enables virtualization of spacecraft. By virtualizing spacecraft, development of generic systems that are applicable to different spacecraft becomes possible even if spacecraft themselves are not standardized. This is because systems can utilize (1) a standard database that can store information on any virtual spacecraft and (2) standard software tools that can be used for any virtual spacecraft. This paper explains the concept of virtualization of spacecraft, introduces the standard model used for virtualization of spacecraft, shows how to manipulate virtual spacecraft with software tools, and presents the core elements of generic ground systems.

<p>We use a system model expressed in a subset of the Unified Modeling Language to perform fault isolation in large object oriented control systems. Due to the severity of the failures considered and the safety critical nature of the system we cannot perform fault isolation online. Thus, we perform post mortem fault isolation which has implications in terms of the information available; the temporal order in the error log can not be trusted. In our previous work we have used a structural model for fault isolation. In this thesis we provide a formal framework and a prototype implementation of an approach taking benefit of a behavioral model. This gives opportunities to perform more sophisticated reasoning at the cost of a more detailed system model. We use a model-checker to reason about causal dependencies among the events of the modeled system. The model-checker performs reasoning about temporal dependencies among the events in the system model and the scenario at hand, allowing for conclusions about the causal relation between the events of the scenario. This knowledge can then be transferred to the corresponding fault in the system, allowing us to pinpoint the cause of a system failure among a set of potential causes.</p> / Report code: LiU-Tek-Lic-2000:59.

No description available.

Graphical user interface (GUI) has become the key element of modern information systems and is commonly viewed as one of the decisive factors for the success of an information system project. To help develop effective GUIs, many tools have been introduced by software vendors to meet the needs of designing a variety of interfaces. Such modern design tools offer system developer vehicles to create sophisticated GUI with a few codes. However, the complicity of many GUIs and the varying expectations among users, designers and developers make the communication among them and the use of most prevailing design tools a real challenge. An integrated tool for better design and development of GUIs may help alleviate the problems caused by the mis-communication and the knowledge gaps existing among users, designers and developers. In this paper, a new design tool, which integrates the GUI design techniques embedded in Unified Modeling Language (UML) and the Presentation-Abstraction-Control (PAC) model in Web environment (Net-PAC) is proposed. The potential problems of using vendor-provided design methodology will be presented. Special features of the proposed integrated tool will then be discussed. Some real-world cases using the integrated techniques will be presented to illustrate the advantages of using proposed methodology.

We use a system model expressed in a subset of the Unified Modeling Language to perform fault isolation in large object oriented control systems. Due to the severity of the failures considered and the safety critical nature of the system we cannot perform fault isolation online. Thus, we perform post mortem fault isolation which has implications in terms of the information available; the temporal order in the error log can not be trusted. In our previous work we have used a structural model for fault isolation. In this thesis we provide a formal framework and a prototype implementation of an approach taking benefit of a behavioral model. This gives opportunities to perform more sophisticated reasoning at the cost of a more detailed system model. We use a model-checker to reason about causal dependencies among the events of the modeled system. The model-checker performs reasoning about temporal dependencies among the events in the system model and the scenario at hand, allowing for conclusions about the causal relation between the events of the scenario. This knowledge can then be transferred to the corresponding fault in the system, allowing us to pinpoint the cause of a system failure among a set of potential causes. / <p>Report code: LiU-Tek-Lic-2000:59.</p>

ITC/USA 2008 Conference Proceedings / The Forty-Fourth Annual International Telemetering Conference and Technical Exhibition / October 27-30, 2008 / Town and Country Resort & Convention Center, San Diego, California / The integrated Network Enhanced Telemetry (iNET) and Test and Training Enabling Architecture (TENA) projects are working to understand how TENA will perform in a Telemetry Network System. This paper discusses a demonstration prototype that is being used to investigate the use of TENA across a constrained test environment simulating iNET capabilities. Some of the key elements being evaluated are throughput, latency, memory utilization, memory footprint, and bandwidth. The results of these evaluations will be presented. Additionally, the paper briefly discusses modeling and metadata requirements for TENA and iNET.

Model Driven Development (MDD) and Model Based Testing (MBT) are gaining inroads individually for their application in embedded software engineering projects. However, their full-edged and integrated usage in real-life embedded software engineering projects (e.g. industrially relevant examples) and executing MBT in resource constrained embedded systems (e.g. 16 bit system/64 KiByte memory) are emerging fields. Addressing the aforementioned gaps, this thesis proposes an integrated model-based approach and test framework for executing the model-based test cases, with minimal overhead, in embedded systems. Given a chosen System Under Test (SUT) and the system design model, a test framework generation algorithm generates the necessary artifacts (i.e., the test framework) for executing the model-based test cases. The main goal of the test framework is to enable test automation and test case execution at the host computer (which executes the test harness), thereby only the test input data is executed at the target. Significant overhead involved in interpreting the test data at the target is eliminated, as the test framework makes use of a target debugger (communication and decoding agent) on the host and a target monitor (software-based runtime monitoring routine) in the embedded system. In the prototype implementation of the proposed approach, corresponding (standardized) languages such as the Unified Modeling Language (UML) and the UML Testing Profile (UTP) are used for the MDD and MBT phases respectively. The applicability of the proposed approach is demonstrated using an experimental evaluation (of the prototype) in real-life examples. The empirical results indicate that the total time spent for executing the test cases in the target (runtime-time complexity), comprises of only the time spent to decode the test input data by the target monitor and execute it in the embedded system. Similarly, the only memory requirement in the target for executing the model-based test cases in the target is that of the software-based target monitor. A quantitative comparison on the percentage change in the memory overhead (runtime-memory complexity) for the existing approach and the proposed approach indicates that the existing approach (e.g. in a MDD/MBT tool-Rhapsody), introduces approximately 150% to 350% increase in memory overhead for executing the test cases. On the other hand, in the proposed approach, the target monitor is independent of the number of test cases to be executed and their complexity. Hence, the percentage change in the memory overhead for the proposed approach shows a declining trend w.r.t the increasing code-size for equivalent application scenarios (approximately 17% to 2%). Thus, the proposed test automation approach provides the essential benefit of executing model- based tests, without downloading the test harness in the target. It is demonstrated that it is feasible to execute the test cases specified at higher abstraction levels (e.g. using UML sequence diagrams) in resource constrained embedded systems and how this may be realized using the proposed approach. Further, as the proposed runtime monitoring mechanism is time and memory-aware, the overhead parameters can be accommodated in the earlier phases of the embedded software development cycle (if necessary) and the target monitor can be included in the final production code. The aforementioned advantages highlight the scalability, applicability, reliability and superiority of the proposed approach over the existing methodologies for executing the model-based test cases in embedded systems.

Although originally designed as an extension for the Unifi ed Modeling Language (UML), today, the Object Constraint Language (OCL) has been broadly adopted in the context of both UML and other modeling and domain-specifi c languages. However, appropriate tooling, supporting modelers and software developers on using OCL is still scarce and lacks important features such as debugging support. As OCL constraints are likely to become rather complex for real world examples, it is hard to comprehend the in uence of single OCL expressions and subexpressions on the result of a completely evaluated OCL constraint in the context of speci fic constrained objects. Therefore, debugging is of topmost importance for both constraint comprehension and maintenance. Thus, the major task of this work is to develop a graphical debugger integrated into Dresden OCL and the Eclipse Integrated Development Environment (IDE) to fill this gap.:1 Introduction 2 The Dresden OCL Toolkit 2.1 The Dresden OCL Toolkit 2.2 The Dresden OCL2 Toolkit 2.3 Dresden OCL2 for Eclipse 2.4 Dresden OCL 3 The Eclipse Debugging Framework 3.1 The Debug Model 3.2 Interacting with the Debug Model 3.3 The Execution Control Commands 4 Requirements Analysis and Related Work 4.1 Requirements Analysis 4.2 Related Work 5 Design and Structure 5.1 Architecture 5.1.1 Package Structure 5.1.2 Class Structure 5.2 The OCL Debug Model 5.3 The Mapping from ASM to AST 5.4 The OCL Debugger 5.4.1 The Implementation of the Debugger 5.4.2 Testing the Debugger 6 Graphical User Interface Implementation 6.1 The Dresden OCL Debug Perspective 6.2 Using the Debugger 6.2.1 Selecting a Model 6.2.2 Selecting a Model Instance 6.2.3 Debugging 6.3 Summary 7 Evaluation and Future Work 33 7.1 Evaluation 7.2 Future Work 8 Summary and Conclusion

Property Management, one functional area within Right-of-Way offices in state transportation agencies, is responsible for managing the property acquired for highway projects. These activities are data and document intensive and efficiency for performing them would be improved through the implementation of an information management system. Because of the geospatial nature of many of these activities, geographic information systems (GIS) would increase the effectiveness of this system. A literature review and survey were conducted to understand the current state of practice for the use of GIS and information management systems in Property Management. There is no identified comprehensive system that covers all Property Management activities. An initial step in developing a geospatially-enabled enterprise-level information management system, a logical model was developed. This included developing the business process diagram, business process models, and use case models based on the principles of systems engineering using the Computer Aided Software (CASE) Enterprise Architecture. Activities that would benefit from a geospatial component have been identified and included in the models. The developed models have been validated by working with PennDOT staff. The resulting model serves as a standard template for state transportation agencies and helps conceptualize the advantages of integration and interaction with other systems, and geospatial enablement prior to investment in an information management system. / Master of Science

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-19T15:04:01Z No. of bitstreams: 1 FABIANA PAULINO GUEDES - DISSERTAÇÃO PPGCC 2002..pdf: 947432 bytes, checksum: 24473a9b6f3a4b10184a06d21f741243 (MD5) / Made available in DSpace on 2018-09-19T15:04:01Z (GMT). No. of bitstreams: 1 FABIANA PAULINO GUEDES - DISSERTAÇÃO PPGCC 2002..pdf: 947432 bytes, checksum: 24473a9b6f3a4b10184a06d21f741243 (MD5) Previous issue date: 2002-08-30 / Recentemente, um novo paradigma para a construção de aplicações distribuídas em larga escala tem emergido: agentes móveis. Um agente móvel é uma entidade de software autônoma que é capaz de migrar entre localizações físicas da rede e continuar a sua execução do ponto em que parou antes da sua migração. Até o momento, a maioria das aplicações baseadas em agentes móveis tem sido criada de forma ad-hoc, seguindo pouca ou nenhuma metodologia. Isto se deve ao fato de que os modelos de processos atuais não são suficientes para cobrir todos os aspectos de mobilidade na modelagem, projeto e verificação de tais aplicações. Neste trabalho apresentamos um modelo para o desenvolvimento de aplicações baseadas em agentes móveis que combina o processo iterativo e incremental com o uso de padrões de projeto de agentes móveis e aspectos a serem considerados nas atividades das fases de análise e projeto. Artefatos são produzidos usando uma extensão de UML (Unified Modeling Language) que inclui aspectos relativos à mobilidade para a modelagem do sistema. A fim de ilustrar a aplicabilidade do modelo um estudo de caso é apresentado. / More recently, a new paradigm for developing large-scale distributed applications has emerged: mobile agents. A mobile agent is an autonomous software entity that can migrate to different physical locations and continue its execution at the point where it stopped before migration. Up to now, the majority of existing mobile agent-based applications have been created in an ad-hoc way, following little or no methodology. One reason is that current process models do not properly cover requirements and aspects of mobility in the modeling, designing and verification of such applications. We present a model for developing mobile agent-based applications that combines the standard iterative and incremental unified process with the use of mobile agent design patterns and issues that should be considered in the activities of analysis and design. Artifacts are produced using an extension of the Unified Modelling Language (UML) that copes with mobility. To illustrate the applicability of the model a case study is presented.