Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
SysML to Discrete-event Simulation to Analyze Electronic Assembly SystemsDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
Collaborative engineering solutions and challenges in the development of spac...Daniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
Modules for reusable and collaborative modeling of biological mathematical sy...Daniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
A framework for distributed control and building performance simulationDaniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
ModelicaML Value Bindings for Automated Model CompositionDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
Workshop presentation in DSim Day, research event on Distributed Simulation, Rome, Italy, March, 2010.
Please visit:
https://sites.google.com/site/simulationarchitecture/
for further information.
jEQN a java-based language for the distributed simulation of queueing networksDaniele Gianni
Presentation at the ISCIS 2006 Conference in Istanbul, Turkey.
Simulation language for Extended Queueing Networks on IEEE HLA infrastructures.
For further info, please visit:
https://sites.google.com/site/simulationarchitecture/
Collaborative modeling and co simulation with destecs - a pilot studyDaniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
Automated Performance Analysis of Business ProcessesDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
Calibration of Deployment Simulation Models - A Multi-Paradigm Modelling Appr...Daniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
A vision on collaborative computation of things for personalized analysesDaniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
BOM2UML: Integrating BOM Specifications into UML-based Development EnvironmentsDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
SysML to Discrete-event Simulation to Analyze Electronic Assembly SystemsDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
Collaborative engineering solutions and challenges in the development of spac...Daniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
Modules for reusable and collaborative modeling of biological mathematical sy...Daniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
A framework for distributed control and building performance simulationDaniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
ModelicaML Value Bindings for Automated Model CompositionDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
Workshop presentation in DSim Day, research event on Distributed Simulation, Rome, Italy, March, 2010.
Please visit:
https://sites.google.com/site/simulationarchitecture/
for further information.
jEQN a java-based language for the distributed simulation of queueing networksDaniele Gianni
Presentation at the ISCIS 2006 Conference in Istanbul, Turkey.
Simulation language for Extended Queueing Networks on IEEE HLA infrastructures.
For further info, please visit:
https://sites.google.com/site/simulationarchitecture/
Collaborative modeling and co simulation with destecs - a pilot studyDaniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
Automated Performance Analysis of Business ProcessesDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
Calibration of Deployment Simulation Models - A Multi-Paradigm Modelling Appr...Daniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
A vision on collaborative computation of things for personalized analysesDaniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
BOM2UML: Integrating BOM Specifications into UML-based Development EnvironmentsDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
Preventing the Next Deployment Issue with Continuous Performance Testing and ...Correlsense
Traditionally, identifying and remedying performance problems resulting from application deployments has been a slow, reactive process. Tools exist which report on application changes and problems after they occur, but how do you prevent your next performance issues before they even begins?
Join Correlsense and dbMaestro for an online seminar outlining the crucial strategies for continuous performance testing and monitoring. We will discuss:
-Limitations of traditional strategies for application deployments
-Best practices for eliminating the risks of application changes
-Solutions for proactive application performance monitoring and database change management
Senior Technical Leader with 9.9 years of software testing experience on EMS/NMS Testing, Readiness Test on Telecom Domain and Mobile Applications Test.
Senior Technical Leader with 9.5 years of software testing experience on EMS/NMS Testing, Readiness Test on Telecom Domain and Mobile Applications Test.
• Good at FCAPS, EMS/NMS
• Good knowledge on Selenium, QF-Test
• Worked on Scrum (Agile), Kanban, Waterfall, STLC
My strengths include:
8.2 years of experience on NMS EMS testing to test FCAPS for configure element in Alcatel-Lucent CDMA radio access network.
Readiness Test (ORT) for AT&T Virtual Private Network (AVPN) product
IVR Testing for Speak soft Application.
Network Element Support/Testing for Alcatel-Lucent UMTS, OMC-UPS.
EMS testing for supporting Nokia Siemens Networks elements using Flexi ISNs with Configuration Management application.
‘Mobile Application Testing’ for validating the multimedia applications in Motorola Z8 Mobiles
The checkout procedure of the satellite payloads is the key element in making successful space missions. Developed to perform comprehensive check-out and on-orbit functionality validation of the satellite payloads in ground and in-space operations, the tool is in for decreasing the number of steps necessary to perform the procedure and aiding in mission success.
Simulation assisted elicitation and validation of behavioral specifications f...Daniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
Collaborative development and cataloguing of simulation and calculation model...Daniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
A package system for maintaining large model distributions in vle softwareDaniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
A collaborative environment for urban landscape simulationDaniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
System model optimization through functional models execution methodology and...Daniele Gianni
Presentation delivered at the 3rd IEEE Track on
Collaborative Modeling & Simulation - CoMetS'12.
Please see http://www.sel.uniroma2.it/comets12/ for further details.
Validation of Service Oriented Computing DEVS Simulation ModelsDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
The DEVS-Driven Modeling Language: Syntax and Semantics Definition by Meta-Mo...Daniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
Modular Mathematical Modelling of Biological SystemsDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
A Model-Based Method for System Reliability AnalysisDaniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
Automation of SysML Activity Diagram Simulation with Model-Driven Engineering...Daniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
Model Transformation from BPMN to DEVS in a Prototype Implementation of the M...Daniele Gianni
Presentation at the 2nd International Workshop on Model-driven Approaches for Simulation Engineering
(held within the SCS/IEEE Symposium on Theory of Modeling and Simulation part of SpringSim 2012)
Please see: http://www.sel.uniroma2.it/mod4sim12/ for further details
SimArch: A Layered Architectural Approach to Reduce the Development Effort of...Daniele Gianni
Conference Presentation at the SESP Workshop (Simulation and EGSE for European Space Applications), September, 2009
Please visit
https://sites.google.com/site/simulationarchitecture/
for further information
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using Deplo...James Anderson
Effective Application Security in Software Delivery lifecycle using Deployment Firewall and DBOM
The modern software delivery process (or the CI/CD process) includes many tools, distributed teams, open-source code, and cloud platforms. Constant focus on speed to release software to market, along with the traditional slow and manual security checks has caused gaps in continuous security as an important piece in the software supply chain. Today organizations feel more susceptible to external and internal cyber threats due to the vast attack surface in their applications supply chain and the lack of end-to-end governance and risk management.
The software team must secure its software delivery process to avoid vulnerability and security breaches. This needs to be achieved with existing tool chains and without extensive rework of the delivery processes. This talk will present strategies and techniques for providing visibility into the true risk of the existing vulnerabilities, preventing the introduction of security issues in the software, resolving vulnerabilities in production environments quickly, and capturing the deployment bill of materials (DBOM).
Speakers:
Bob Boule
Robert Boule is a technology enthusiast with PASSION for technology and making things work along with a knack for helping others understand how things work. He comes with around 20 years of solution engineering experience in application security, software continuous delivery, and SaaS platforms. He is known for his dynamic presentations in CI/CD and application security integrated in software delivery lifecycle.
Gopinath Rebala
Gopinath Rebala is the CTO of OpsMx, where he has overall responsibility for the machine learning and data processing architectures for Secure Software Delivery. Gopi also has a strong connection with our customers, leading design and architecture for strategic implementations. Gopi is a frequent speaker and well-known leader in continuous delivery and integrating security into software delivery.
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...UiPathCommunity
💥 Speed, accuracy, and scaling – discover the superpowers of GenAI in action with UiPath Document Understanding and Communications Mining™:
See how to accelerate model training and optimize model performance with active learning
Learn about the latest enhancements to out-of-the-box document processing – with little to no training required
Get an exclusive demo of the new family of UiPath LLMs – GenAI models specialized for processing different types of documents and messages
This is a hands-on session specifically designed for automation developers and AI enthusiasts seeking to enhance their knowledge in leveraging the latest intelligent document processing capabilities offered by UiPath.
Speakers:
👨🏫 Andras Palfi, Senior Product Manager, UiPath
👩🏫 Lenka Dulovicova, Product Program Manager, UiPath
UiPath Test Automation using UiPath Test Suite series, part 3DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 3. In this session, we will cover desktop automation along with UI automation.
Topics covered:
UI automation Introduction,
UI automation Sample
Desktop automation flow
Pradeep Chinnala, Senior Consultant Automation Developer @WonderBotz and UiPath MVP
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
Kubernetes & AI - Beauty and the Beast !?! @KCD Istanbul 2024Tobias Schneck
As AI technology is pushing into IT I was wondering myself, as an “infrastructure container kubernetes guy”, how get this fancy AI technology get managed from an infrastructure operational view? Is it possible to apply our lovely cloud native principals as well? What benefit’s both technologies could bring to each other?
Let me take this questions and provide you a short journey through existing deployment models and use cases for AI software. On practical examples, we discuss what cloud/on-premise strategy we may need for applying it to our own infrastructure to get it to work from an enterprise perspective. I want to give an overview about infrastructure requirements and technologies, what could be beneficial or limiting your AI use cases in an enterprise environment. An interactive Demo will give you some insides, what approaches I got already working for real.
Accelerate your Kubernetes clusters with Varnish CachingThijs Feryn
A presentation about the usage and availability of Varnish on Kubernetes. This talk explores the capabilities of Varnish caching and shows how to use the Varnish Helm chart to deploy it to Kubernetes.
This presentation was delivered at K8SUG Singapore. See https://feryn.eu/presentations/accelerate-your-kubernetes-clusters-with-varnish-caching-k8sug-singapore-28-2024 for more details.
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...DanBrown980551
Do you want to learn how to model and simulate an electrical network from scratch in under an hour?
Then welcome to this PowSyBl workshop, hosted by Rte, the French Transmission System Operator (TSO)!
During the webinar, you will discover the PowSyBl ecosystem as well as handle and study an electrical network through an interactive Python notebook.
PowSyBl is an open source project hosted by LF Energy, which offers a comprehensive set of features for electrical grid modelling and simulation. Among other advanced features, PowSyBl provides:
- A fully editable and extendable library for grid component modelling;
- Visualization tools to display your network;
- Grid simulation tools, such as power flows, security analyses (with or without remedial actions) and sensitivity analyses;
The framework is mostly written in Java, with a Python binding so that Python developers can access PowSyBl functionalities as well.
What you will learn during the webinar:
- For beginners: discover PowSyBl's functionalities through a quick general presentation and the notebook, without needing any expert coding skills;
- For advanced developers: master the skills to efficiently apply PowSyBl functionalities to your real-world scenarios.
PHP Frameworks: I want to break free (IPC Berlin 2024)Ralf Eggert
In this presentation, we examine the challenges and limitations of relying too heavily on PHP frameworks in web development. We discuss the history of PHP and its frameworks to understand how this dependence has evolved. The focus will be on providing concrete tips and strategies to reduce reliance on these frameworks, based on real-world examples and practical considerations. The goal is to equip developers with the skills and knowledge to create more flexible and future-proof web applications. We'll explore the importance of maintaining autonomy in a rapidly changing tech landscape and how to make informed decisions in PHP development.
This talk is aimed at encouraging a more independent approach to using PHP frameworks, moving towards a more flexible and future-proof approach to PHP development.
Essentials of Automations: Optimizing FME Workflows with ParametersSafe Software
Are you looking to streamline your workflows and boost your projects’ efficiency? Do you find yourself searching for ways to add flexibility and control over your FME workflows? If so, you’re in the right place.
Join us for an insightful dive into the world of FME parameters, a critical element in optimizing workflow efficiency. This webinar marks the beginning of our three-part “Essentials of Automation” series. This first webinar is designed to equip you with the knowledge and skills to utilize parameters effectively: enhancing the flexibility, maintainability, and user control of your FME projects.
Here’s what you’ll gain:
- Essentials of FME Parameters: Understand the pivotal role of parameters, including Reader/Writer, Transformer, User, and FME Flow categories. Discover how they are the key to unlocking automation and optimization within your workflows.
- Practical Applications in FME Form: Delve into key user parameter types including choice, connections, and file URLs. Allow users to control how a workflow runs, making your workflows more reusable. Learn to import values and deliver the best user experience for your workflows while enhancing accuracy.
- Optimization Strategies in FME Flow: Explore the creation and strategic deployment of parameters in FME Flow, including the use of deployment and geometry parameters, to maximize workflow efficiency.
- Pro Tips for Success: Gain insights on parameterizing connections and leveraging new features like Conditional Visibility for clarity and simplicity.
We’ll wrap up with a glimpse into future webinars, followed by a Q&A session to address your specific questions surrounding this topic.
Don’t miss this opportunity to elevate your FME expertise and drive your projects to new heights of efficiency.
UiPath Test Automation using UiPath Test Suite series, part 4DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 4. In this session, we will cover Test Manager overview along with SAP heatmap.
The UiPath Test Manager overview with SAP heatmap webinar offers a concise yet comprehensive exploration of the role of a Test Manager within SAP environments, coupled with the utilization of heatmaps for effective testing strategies.
Participants will gain insights into the responsibilities, challenges, and best practices associated with test management in SAP projects. Additionally, the webinar delves into the significance of heatmaps as a visual aid for identifying testing priorities, areas of risk, and resource allocation within SAP landscapes. Through this session, attendees can expect to enhance their understanding of test management principles while learning practical approaches to optimize testing processes in SAP environments using heatmap visualization techniques
What will you get from this session?
1. Insights into SAP testing best practices
2. Heatmap utilization for testing
3. Optimization of testing processes
4. Demo
Topics covered:
Execution from the test manager
Orchestrator execution result
Defect reporting
SAP heatmap example with demo
Speaker:
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
UiPath Test Automation using UiPath Test Suite series, part 4
Validation of Spacecraft Behaviour Using a Collaborative Approach
1. Validation of Spacecraft
Behaviour Concept using a
Collaborative Approach
Ana Rugina, Cristiano Leorato, Elena Tremolizzo
ESA-ESTEC
26/06/2012
ESA UNCLASSIFIED – For Official Use
2. Context
• Space system engineering domains of knowledge
• Attitude and Orbit Control (AOCS)
• Power Control
• Thermal Control
• Payload
• Failure Detection Isolation and Recovery (FDIR)
• Early validation and analysis
• Usually performed independently per domain
• More or less heavy depending on project objectives
• Galileo navigation satellites very high availability
• Approach
• Integrated model-based simulation to give confidence in
command/control and FDIR (functional and timing aspects)
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 2
ESA UNCLASSIFIED – For Official Use
3. Outline
1. Objectives
2. Perimeter of Early Validation Activities
3. Constraints and Choices
4. Modelling Insights
5. Results
6. Conclusions
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 3
ESA UNCLASSIFIED – For Official Use
4. Global Objectives
• Validate the FDIR strategy
• Behaviour « as expected » in the presence of faults
– Single fault tolerance (not considering fault combinations)
• Logical correctness
• Temporal consistency (including functional algorithms)
• Subsystems FDIR
• Consistency: no contradiction, no shading
• Completeness: no missing info to achieve executable specification
• Correctness: sound reaction to feared events
• System-level FDIR (Cross-subsystems)
• Consistency between subsystems’ modes
• Analyse impact of dependencies between the subsystems
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 4
ESA UNCLASSIFIED – For Official Use
5. Perimeter of Validation Activities
• Functional validation
• AOCS, Thermal, Power subsystems
• Command/Control and FDIR
• Mode management for subsystems
– AOCS
– Power
– Thermal
– TTC
– Payload
• System control application
• Hardware reconfiguration module
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 5
ESA UNCLASSIFIED – For Official Use
6. Functional Validation
• Per subsystem (e.g., power & thermal control, AOCS)
• Most often in Matlab/Simulink
• Most often purely cyclic data-flow (get data from sensors,
compute commands, output data to actuators)
Functional Eng Simulator
Controller
Environment
dynamics
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 6
ESA UNCLASSIFIED – For Official Use
7. Command/Control and FDIR
• Executable control-oriented models
(based on state machines)
• Two levels of early validation
a. The “What” level: what is the
chain of events/actions
leading from detected error to
reconfiguration
Model-checking
b. The “How ” level: how the
chain of events/actions is to
be implemented (e.g.,
filtering, detection thresholds)
Simulation
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 7
ESA UNCLASSIFIED – For Official Use
8. Constraints (Legacy)
• AOCS model
• Existing functional model
– Algorithms for most of the modes
– Environment dynamics (continuous)
• In Simulink
• Power and Thermal models
• Part of functional engineering simulator
• In Simulink
• FDIR models for power and thermal subsystems
• In RTDS (SDL language)
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 8
ESA UNCLASSIFIED – For Official Use
9. Integration Choices
• Integration backbone: Simulink
• Functional Engineering Simulator infrastructure
• Matlab scripts to launch simulations with particular parameters (fault
injections) and to log results
• Power and Thermal FDIR legacy RTDS models
• Integration in Simulink using S-functions (black boxes in the
Simulink model)
• TASTE toolset for integration of heterogeneous models
• Description of model architecture and interfaces
• Manages code generation and interfaces
• AOCS & System FDIR Simulink (+ Stateflow and Embedded Matlab)
• Native model white box
• Interfaces as bus objects (defined in Excel, processed automatically)
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 9
ESA UNCLASSIFIED – For Official Use
10. Model Architecture
Observables/Action Requests
AOCS
System AOCS
Manage Mode Mgr
CDU reboot notification
commands
ment AOCS AOCS
(SW & Ctrl FDIR
HW)
Env
HW Power Control
Reconf
Thermal Control
Module
TT&C
Payload
Level ¾ alarms
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 10
ESA UNCLASSIFIED – For Official Use
11. Model Granularity
• System Control
• Equipment management (abstract, including redundancy and timing)
• High-level subsystem coordination logic
• Reconfiguration Module
• Level 3-4 alarms (computing data unit and global reconfiguration)
• Subsystems
• Mode manager (Nominal and FDIR transitions)
• Functional behaviour model
• Environment
• FDIR (partly detection, reconfiguration) for level 1-2 alarms
(subsystem level)
– Electrical, physical, internal, consistency faults
– Filtering, voting, error counters
• Timing behaviour
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 11
ESA UNCLASSIFIED – For Official Use
12. Results
1. Identification of issues in the design phase
a. Several alarms lead to the same reconfiguration (unoptimized
FDIR wrt. Payload availability requirement)
b. Reconfigurations not fully specified
c. Errors in the filtering algorithms
d. Missing information: which TCs are discared during
reconfiguration procedure
e. Diagnosis issues: how to distinguish between alarm resulting
from sequence of unsuccessful HW reconfigurations and alarm
resulting from one fault
f. Shadowed FDIR rules
g. Responsibility issues (what system application/module decides
the mode changes)
h. Timing issues
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 12
ESA UNCLASSIFIED – For Official Use
13. Conclusions & Perspectives
1. Conclusions
a. Pragmatic collaborative modelling and simulation approach in
the context of a challenging space project
b. Constraints related to legacy, schedule, organizational issues
2. Perspectives
a. Scalability of model-checking techniques
b. Test case generation from the simulation activity
c. Modelling patterns favouring integration
d. Modern collaborative platforms for multi-team/multi-site work
Validation of Spacecraft Behaviour Concept | Ana Rugina | ESA-ESTEC | 26/06/2012 | TEC | Slide 13
ESA UNCLASSIFIED – For Official Use