Structured Spreadsheet Modeling and Implementation

Developing an error-free spreadsheet has been a problem since the beginning of end-user computing. In this paper, we present a methodology that separates the modeling from the implementation. Using proven techniques from Information Systems and Software Engineering, we present strict, but simple, rules governing the implementation from the model. The resulting spreadsheet should be easier to understand, audit and maintain.Comment: In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheet

SW development and HIL testing for engine monitoring module

Diplomová práce popisuje vývojovou techniku model based design a její použití pro návrh a testování algoritmů. Popis této techniky je proveden na příkladu praktického využití v praxi při vývoji modulu monitorování stavu motoru ve spolupráci se společností Unis. Vývoj v oblasti současné letecké techniky klade velký důraz na monitorování životnosti zařízení. Podle výstupů algoritmu se dají naplánovat preventivní opravy s ohledem na aktuální podmínky opotřebení a provozování. Implementace algoritmů je provedena v prostředí Matlab/Simulink s následným testováním na platformě dSpaceThe thesis describes Model Based Design process and it’s application for design and testing of algorithms. The description of this approach is done on example of practical application for development of the Engine Monitoring Module in collaboration with Unis company. The development of the aerospace industry nowadays is focused on continuous monitoring of equipment. The outputs of these algorithms can be used for planning the maintenance with respect to operative modes and conditions. Monitoring algorithms are implemented in Matlab/Simulink environment and are tested on dSpace platform.

Modeling and analysis of power processing systems: Feasibility investigation and formulation of a methodology

A review is given of future power processing systems planned for the next 20 years, and the state-of-the-art of power processing design modeling and analysis techniques used to optimize power processing systems. A methodology of modeling and analysis of power processing equipment and systems has been formulated to fulfill future tradeoff studies and optimization requirements. Computer techniques were applied to simulate power processor performance and to optimize the design of power processing equipment. A program plan to systematically develop and apply the tools for power processing systems modeling and analysis is presented so that meaningful results can be obtained each year to aid the power processing system engineer and power processing equipment circuit designers in their conceptual and detail design and analysis tasks

Feasibility study of an Integrated Program for Aerospace vehicle Design (IPAD). Volume 2: The design process

The extent to which IPAD is to support the design process is identified. Case studies of representative aerospace products were developed as models to characterize the design process and to provide design requirements for the IPAD computing system

A comparative reliability analysis of ETCS train radio communications

StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and were applied in the context of train radio reliability assessment to show the principal tractability of realistic cases with this approach. In this paper, we extend on this bare feasibility result in two important directions. First, we sketch the cornerstones of a mechanizable translation of StoCharts to MoDeST. The latter is a process algebra-based formalism supported by the Motor/Möbius tool tandem. Second, we exploit this translation for a detailed analysis of the train radio case study

Development of a software tool for reliability estimation

This thesis presents Version 2.0 of Software Tool for Reliability Estimation (STORE 2.0). It expands on the work done by Parekh [1] by revising the algorithm for tie-set and cut-set calculation, by including fault tree reliability analysis, by analyzing state dependent system, and by integrating component and system reliability analysis.;This thesis also presents an approach to the simplification of complex systems by collapsing series and parallel components into a sub-system. The approach was illustrated on an example described by Nelson et al. [2]. The example had 16 components resulting in ten cut-sets and fifty five tie-sets. Upon simplification, the problem was reduced to one tie-set only.;STORE 2.0 integrates parameter estimation, component reliability analysis, system reliability analysis, estimation of reliability of state dependent systems, and fault tree analysis. It was verified and validated on several examples taken from the open literature. The software was developed in Visual Basic 2008 with SQL as the database

Design project 1968/9: management report

1. INTRODUCTION The design of an automatic assembly machine with versatility in application was undertaken as a group project by post-graduate students attending a course in production technology. This report summarises the work clone and conclusions reached during the project. In addition there are available five other reports which describe the designing of different areas of the machine in full detail (refs. 1 to 6). There is also the report of a technical survey which was carried out to investigate industrial requirements for automatic assembly. In order that this report may serve as a guide, a summary of the content of each of the other reports is included

From StoCharts to MoDeST: a comparative reliability analysis of train radio communications

StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment to show the principal tractability of realistic cases with this approach. In this paper, we extend on this bare feasibility result in two important directions. First, we sketch the cornerstones of a mechanizable translation of StoCharts to MoDeST. The latter is a process algebra-based formalism supported by the Motor/Möbius tool tandem. Second, we exploit this translation for a detailed analysis of the train radio case study

Dependability checking with StoCharts: Is train radio reliable enough for trains?

Performance, dependability and quality of service (QoS) are prime aspects of the UML modelling domain. To capture these aspects effectively in the design phase, we have recently proposed STOCHARTS, a conservative extension of UML statechart diagrams. In this paper, we apply the STOCHART formalism to a safety critical design problem. We model a part of the European Train Control System specification, focusing on the risks of wireless communication failures in future high-speed cross-European trains. Stochastic model checking with the model checker PROVER enables us to derive constraints under which the central quality requirements are satisfied by the STOCHART model. The paper illustrates the flexibility and maturity of STOCHARTS to model real problems in safety critical system design

Transient electrothermal simulation of power semiconductor devices

In this paper, a new thermal model based on the Fourier series solution of heat conduction equation has been introduced in detail. 1-D and 2-D Fourier series thermal models have been programmed in MATLAB/Simulink. Compared with the traditional finite-difference thermal model and equivalent RC thermal network, the new thermal model can provide high simulation speed with high accuracy, which has been proved to be more favorable in dynamic thermal characterization on power semiconductor switches. The complete electrothermal simulation models of insulated gate bipolar transistor (IGBT) and power diodes under inductive load switching condition have been successfully implemented in MATLAB/Simulink. The experimental results on IGBT and power diodes with clamped inductive load switching tests have verified the new electrothermal simulation model. The advantage of Fourier series thermal model over widely used equivalent RC thermal network in dynamic thermal characterization has also been validated by the measured junction temperature