TOPCASED (The Open-Source Toolkit for Critical Systems) is a software environment primarily dedicated to the realization of critical embedded systems including hardware and/or software.
Started in 2004, TOPCASED covers specification, design and coding stages, including usual fonctionalities such as configuration and change management. TOPCASED is based on Eclipse, and promotes model-driven engineering and formal methods as key technologies. It is developed by a consortium gathering more than 35 partners (big, medium, and small companies, research centers and universities) and is released as free/libre/open-source software.
It has been downloaded about 100,000 times during the last twelve months.
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
The road ahead for architectural languages [ACVI 2016]Ivano Malavolta
5th of April 2016. My presentation done at the 3rd Architecture Centric Virtual Integration Workshop (ACVI) workshop, co-located with WICSA and Comparch 2016, Venice, Italy.
Accompanying paper: http://www.ivanomalavolta.com/files/papers/IEEESoftware_2015.pdf
Productionizing Spark ML Pipelines with the Portable Format for Analytics wit...Databricks
The common perception of machine learning is that it starts with data and ends with a model. In real-world production systems, the traditional data science and machine learning workflow of data preparation, feature engineering and model selection, while important, is only one aspect. A critical missing piece is the deployment and management of models, as well as the integration between the model creation and deployment phases.
This is particularly challenging in the case of deploying Apache Spark ML pipelines for low-latency scoring. While MLlib’s DataFrame API is powerful and elegant, it is relatively ill-suited to the needs of many real-time predictive applications, in part because it is tightly coupled with the Spark SQL runtime. In this talk I will introduce the Portable Format for Analytics (PFA) for portable, open and standardized deployment of data science pipelines & analytic applications.
I’ll also introduce and evaluate Aardpfark, a library for exporting Spark ML pipelines to PFA, as well as compare and contrast it to other available alternatives including PMML, MLeap, ONNX and Apple’s CoreML.
End-to-End Deep Learning Deployment with ONNXNick Pentreath
The Open Neural Network Exchange (ONNX) standard has emerged for representing deep learning models in a standardized format. In this talk, I will discuss:
1. ONNX for exporting deep learning computation graphs, the ONNX-ML component of the specification for exporting both traditional ML models, common feature extraction, data transformation and post-processing steps.
2. How to use ONNX and the growing ecosystem of exporter libraries for common frameworks (including TensorFlow, PyTorch, Keras, scikit-learn and Apache SparkML) to deploy complete deep learning pipelines.
3. Best practices for working with and combining these disparate exporter toolkits, as well as highlight the gaps, issues, and missing pieces to be taken into account and still to be addressed.
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
The road ahead for architectural languages [ACVI 2016]Ivano Malavolta
5th of April 2016. My presentation done at the 3rd Architecture Centric Virtual Integration Workshop (ACVI) workshop, co-located with WICSA and Comparch 2016, Venice, Italy.
Accompanying paper: http://www.ivanomalavolta.com/files/papers/IEEESoftware_2015.pdf
Productionizing Spark ML Pipelines with the Portable Format for Analytics wit...Databricks
The common perception of machine learning is that it starts with data and ends with a model. In real-world production systems, the traditional data science and machine learning workflow of data preparation, feature engineering and model selection, while important, is only one aspect. A critical missing piece is the deployment and management of models, as well as the integration between the model creation and deployment phases.
This is particularly challenging in the case of deploying Apache Spark ML pipelines for low-latency scoring. While MLlib’s DataFrame API is powerful and elegant, it is relatively ill-suited to the needs of many real-time predictive applications, in part because it is tightly coupled with the Spark SQL runtime. In this talk I will introduce the Portable Format for Analytics (PFA) for portable, open and standardized deployment of data science pipelines & analytic applications.
I’ll also introduce and evaluate Aardpfark, a library for exporting Spark ML pipelines to PFA, as well as compare and contrast it to other available alternatives including PMML, MLeap, ONNX and Apple’s CoreML.
End-to-End Deep Learning Deployment with ONNXNick Pentreath
The Open Neural Network Exchange (ONNX) standard has emerged for representing deep learning models in a standardized format. In this talk, I will discuss:
1. ONNX for exporting deep learning computation graphs, the ONNX-ML component of the specification for exporting both traditional ML models, common feature extraction, data transformation and post-processing steps.
2. How to use ONNX and the growing ecosystem of exporter libraries for common frameworks (including TensorFlow, PyTorch, Keras, scikit-learn and Apache SparkML) to deploy complete deep learning pipelines.
3. Best practices for working with and combining these disparate exporter toolkits, as well as highlight the gaps, issues, and missing pieces to be taken into account and still to be addressed.
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
Automatically bridging UML profiles into MOF metamodelsIvano Malavolta
27th August 2015. My presentation at SEAA 2015 (http://paginas.fe.up.pt/~dsd-seaa-2015/) about our approach for autmatically bridging UML profiles into MOF metamodels. SEAA 2015 is the 41st Euromicro Conference on Software Engineering and Advanced Applications, and it has been held in 26 - 28 August 2015, Funchal, Madeira, Portugal.
Accompanying paper:
http://www.ivanomalavolta.com/files/papers/SEAA_2015.pdf
Abstract:
In Model-Driven Engineering, UML profiles and MOF-based Domain Specific Modeling Languages (DSMLs) are the most used approaches for describing domain specific applications. The choice of the right approach depends on several aspects, such as tool support, expressivity, complexity of models, company policies. In general, profiled UML models are very much used since they are intuitive for designers and model editors already exist, however they are intrinsically complex for model manipulation (e.g., transformation, analysis); conversely, domain specific models are more concise and easy to be manipulated, but they require an initial effort in terms of designers training and model editors development.
In this paper we propose an approach that allows getting the best of the two worlds: on one side designers can use UML profiles familiar to them, on the other side DSML models (automatically generated from profiled UML models) enable a better model manipulation. Our approach is based on an automatic bridge between UML profiles and MOF metamodels (which are the main artifacts of MOF-based DSMLs). The bridge is transparent to the user since it autonomously operates both on UML profiles and all the involved models. The bridge is realized through model transformation techniques in the Eclipse platform. In this paper we show its application on a case study based on SysML.
[2015/2016] AADL (Architecture Analysis and Design Language)Ivano Malavolta
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
AI algorithms offer great promise in criminal justice, credit scoring, hiring and other domains. However, algorithmic fairness is a legitimate concern. Possible bias and adversarial contamination can come from training data, inappropriate data handling/model selection or incorrect algorithm design. This talk discusses how to build an open, transparent, secure and fair pipeline that fully integrates into the AI lifecycle — leveraging open-source projects such as AI Fairness 360 (AIF360), Adversarial Robustness Toolbox (ART), the Fabric for Deep Learning (FfDL) and the Model Asset eXchange (MAX).
Using Model Driven Development to Easily Manage Variations in Software Define...ADLINK Technology IoT
Radio architects and developers very often need to produce variants of their Software Defined Radio (SDR) Software Communications Architecture (SCA) applications and platforms to support different configurations of their radio set. Traditionally this has been a time consuming and costly process as they needed to create and maintain multiple models for every possible product variant.
This presentation will introduce and demonstrate an innovative new product, Spectra CX Product Line Management, which has been designed to support the modeling needs of entire radio families using just a single model. Presentation attendees will learn how to use model driven development techniques to reduce the time and costs of managing variations in SDR/SCA product family design.
PracticalExperiences Migrating Unified Modeling Language Models to IBM® Rati...Einar Karlsen
The presentation presents some experiences migrating UML models to Rational Software Architect. It covers the topics: Motivations and Mechanisms, Migration Process
Migration from Rational Rose and Rational XDE to RSA,
Migration from 3rd Party UML Tools, Basic Rules and Conclusions.
Combining fUML and profiles for non-functional analysis based on model execut...Luca Berardinelli
For developing software systems it is crucial to consider non-functional properties already in an early development stage to guarantee that the system will satisfy its non-functional requirements. Following the model-based engineering paradigm facilitates an early analysis of non-functional properties of the system being developed based on the elaborated design models. Although UML is widely used in model-based engineering, it is not suitable for model-based analysis directly due to its lack of formal semantics. Thus, current model-based analysis approaches transform UML models into formal languages dedicated for analyses purpose, which may introduce accidental complexity of implementing the required model transformations.
Apache Spark’s machine learning library provides a simple, elegant, yet powerful framework for creating scalable machine learning pipelines. It provides out of the box components for feature extraction and transformation, as well as various machine learning algorithms.
However, in recent years specialized systems (such as TensorFlow, Caffe, PyTorch and Apache MXNet) have been dominant in the domain of AI and deep learning, as they allow greater performance and flexibility for training complex models. While there are a few deep learning frameworks that are Spark specific, in most cases these frameworks are separate from Spark and the ease of integration and feature set exposed varies considerably.
This session will explore the role of Spark within the AI landscape, the current state of deep learning on top of Spark and the most recent developments in the Spark project to better integrate Spark with the deep learning ecosystem.
DSM is a higher level of CASE process, a way to model data structures and logic in domain concepts independent from programming languages and thus also include syntax details. The final source code in a desired programming language is derived automatically from these high concept models by using exact language generators.The whole process of Meta-modeling in the MetaEdit+ tool rotates around the Meta types represented together as GOPPRR
Matteo Bordin's presentation of the Project P and Hi-Moco research projects. These aim to address the the motivations and challenges of analysis and code generation from heterogeneous models when intra-view consistency, optimization and safety are major concerns. The full paper can be found at http://www.erts2012.org/Site/0P2RUC89/7A-2.pdf
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
Automatically bridging UML profiles into MOF metamodelsIvano Malavolta
27th August 2015. My presentation at SEAA 2015 (http://paginas.fe.up.pt/~dsd-seaa-2015/) about our approach for autmatically bridging UML profiles into MOF metamodels. SEAA 2015 is the 41st Euromicro Conference on Software Engineering and Advanced Applications, and it has been held in 26 - 28 August 2015, Funchal, Madeira, Portugal.
Accompanying paper:
http://www.ivanomalavolta.com/files/papers/SEAA_2015.pdf
Abstract:
In Model-Driven Engineering, UML profiles and MOF-based Domain Specific Modeling Languages (DSMLs) are the most used approaches for describing domain specific applications. The choice of the right approach depends on several aspects, such as tool support, expressivity, complexity of models, company policies. In general, profiled UML models are very much used since they are intuitive for designers and model editors already exist, however they are intrinsically complex for model manipulation (e.g., transformation, analysis); conversely, domain specific models are more concise and easy to be manipulated, but they require an initial effort in terms of designers training and model editors development.
In this paper we propose an approach that allows getting the best of the two worlds: on one side designers can use UML profiles familiar to them, on the other side DSML models (automatically generated from profiled UML models) enable a better model manipulation. Our approach is based on an automatic bridge between UML profiles and MOF metamodels (which are the main artifacts of MOF-based DSMLs). The bridge is transparent to the user since it autonomously operates both on UML profiles and all the involved models. The bridge is realized through model transformation techniques in the Eclipse platform. In this paper we show its application on a case study based on SysML.
[2015/2016] AADL (Architecture Analysis and Design Language)Ivano Malavolta
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
AI algorithms offer great promise in criminal justice, credit scoring, hiring and other domains. However, algorithmic fairness is a legitimate concern. Possible bias and adversarial contamination can come from training data, inappropriate data handling/model selection or incorrect algorithm design. This talk discusses how to build an open, transparent, secure and fair pipeline that fully integrates into the AI lifecycle — leveraging open-source projects such as AI Fairness 360 (AIF360), Adversarial Robustness Toolbox (ART), the Fabric for Deep Learning (FfDL) and the Model Asset eXchange (MAX).
Using Model Driven Development to Easily Manage Variations in Software Define...ADLINK Technology IoT
Radio architects and developers very often need to produce variants of their Software Defined Radio (SDR) Software Communications Architecture (SCA) applications and platforms to support different configurations of their radio set. Traditionally this has been a time consuming and costly process as they needed to create and maintain multiple models for every possible product variant.
This presentation will introduce and demonstrate an innovative new product, Spectra CX Product Line Management, which has been designed to support the modeling needs of entire radio families using just a single model. Presentation attendees will learn how to use model driven development techniques to reduce the time and costs of managing variations in SDR/SCA product family design.
PracticalExperiences Migrating Unified Modeling Language Models to IBM® Rati...Einar Karlsen
The presentation presents some experiences migrating UML models to Rational Software Architect. It covers the topics: Motivations and Mechanisms, Migration Process
Migration from Rational Rose and Rational XDE to RSA,
Migration from 3rd Party UML Tools, Basic Rules and Conclusions.
Combining fUML and profiles for non-functional analysis based on model execut...Luca Berardinelli
For developing software systems it is crucial to consider non-functional properties already in an early development stage to guarantee that the system will satisfy its non-functional requirements. Following the model-based engineering paradigm facilitates an early analysis of non-functional properties of the system being developed based on the elaborated design models. Although UML is widely used in model-based engineering, it is not suitable for model-based analysis directly due to its lack of formal semantics. Thus, current model-based analysis approaches transform UML models into formal languages dedicated for analyses purpose, which may introduce accidental complexity of implementing the required model transformations.
Apache Spark’s machine learning library provides a simple, elegant, yet powerful framework for creating scalable machine learning pipelines. It provides out of the box components for feature extraction and transformation, as well as various machine learning algorithms.
However, in recent years specialized systems (such as TensorFlow, Caffe, PyTorch and Apache MXNet) have been dominant in the domain of AI and deep learning, as they allow greater performance and flexibility for training complex models. While there are a few deep learning frameworks that are Spark specific, in most cases these frameworks are separate from Spark and the ease of integration and feature set exposed varies considerably.
This session will explore the role of Spark within the AI landscape, the current state of deep learning on top of Spark and the most recent developments in the Spark project to better integrate Spark with the deep learning ecosystem.
DSM is a higher level of CASE process, a way to model data structures and logic in domain concepts independent from programming languages and thus also include syntax details. The final source code in a desired programming language is derived automatically from these high concept models by using exact language generators.The whole process of Meta-modeling in the MetaEdit+ tool rotates around the Meta types represented together as GOPPRR
Matteo Bordin's presentation of the Project P and Hi-Moco research projects. These aim to address the the motivations and challenges of analysis and code generation from heterogeneous models when intra-view consistency, optimization and safety are major concerns. The full paper can be found at http://www.erts2012.org/Site/0P2RUC89/7A-2.pdf
The Functional Mockup Interface: FMI overview
Modelica: a very brief overview
A Real-World Example: Active Grill Shutter Controls
Vehicle Thermal Management with Modelica
Continuous Validation of System Requirements
- Intermediate results from ITEA3 MODRIO project
Iterative Controller Development Using Modelica
Conclusions
Developing Modeling Tool for RM-ODP with Eclipse SiriusObeo
Defining architecture of your system, existing or to be built, is an important practice to communicate, maintain and extend the system in future. The Reference Model of Open Distributed Processing (RM-ODP) is a set of international standards that can be used for this purpose.
Existing tools to specify RM-ODP based system architectures include UML tools with ODP plugin, since one of the standards defines UML Profile for it. The presenter received an email regarding a more accessible and standalone ODP tool, which eventually initiated this project. It is a work in progress, Eclipse/Sirius-based tool. An overview of the tool and an experience of the development done so far will be presented.
Akira Tanaka, view5 LLC
Click, Click, Test - Automated Tests for APEX ApplicationsKai Donato
The exhausting creation of test scripts, which are also limited to a single browser—it stops right here! With an exciting new approach, tests for APEX applications can be created in no time and are compatible with different browser engines. A look under the hood shows how to use the APEX metadata to create test scenarios which can be executed in multiple browsers with no additional effort. In this session I will show how this is possible and which software stack is necessary.
KernelF is a functional language built on top of MPS. It is designed to be highly extensible and embeddable in order to support its use at the core of domain-specific languages, realising an approach we sometimes call Funclerative Programming. 'Funclerative' is of course a mash-up of 'functional' and 'declarative' and refers to the idea of using functional programming in the small, and declarative language constructs for the larger-scale, often domain-specific, structures in a program. We have used KernelF in a wide range of languages including health and medicine, insurance contract definition, security analysis, salary calculations, smart contracts and language-definition. In this keynote, I illustrate the evolution of KernelF over the last two years. I discuss requirements on the language, and how those drove design decisions. I showcase a couple of the DSLs we built on top of KernelF to explain how MPS was used to enable the necessary language modularity. I demonstrate how we have integrated the Z3 solver to verify some aspects of programs. I present the architecture we have used to use KernelF-based DSLs in safety-critical environments. I close the keynote with an outlook on how KernelF might evolve in the future, and point out a few challenges for which we don't yet have good solutions.
This talk presents SpagoBI, the Open Source Business Intelligence platform, developed and supported by Engineering and hosted by the OW2 Consortium. SpagoBI 2.0 marks a significant step ahead in the OSBI domain thanks to its solid and scalable architecture, based on the Service Oriented paradigm, to its powerful security and profiling management and to the presence of a big variety of analytical solutions, ranging from classical reporting and dimensional analysis to original and innovative modules. You will discover how it is possible, in a secure and ergonomic environment, to build Business Intelligence and Decision Support Solutions by leveraging analtycal tools as: reporting, OLAP engines, dashboards, KPI Engine, Location Intelligence to plot data analysis on geographical maps, Analytical Dossier to improve collaboration and cooperation between BI actors. The talks ends with a short illustration of the SpagoBI business model and the professional services provided by Engineering and OW2.
Fractal: This presentation introduces Fractal which is a modular, extensible and programming language agnostic component model that can be used to design, implement, deploy and reconfigure systems and applications, from operating systems to middleware platforms and to graphical user interfaces. The goal of Fractal is to reduce the development, deployment and maintenance costs of software systems in general, and of ObjectWeb projects in particular. The Fractal component model has the following important features: recursivity, reflectivity, component sharing, binding components, execution model independence, openness.
FraSCAti: The Service Component Architecture (SCA) is a technology agnostic standard for developing and deploying distributed service-oriented architectures (SOA). However, SCA does not define standard means for runtime manageability (including introspection and reconfiguration) of SOA applications and of their supporting environment. This presentation introduces the FraSCAti platform, which brings runtime management features to SCA, and discusses key principles in its design: the adoption of an extended SCA component model for the implementation of SOA applications and of the FraSCAti platform itself; the use of component-based interception techniques for dynamically weaving non-functional services such as transaction management with components.
Quattor is an open-source tool aimed at efficient management of fabrics with hundred or thousand of Linux machines, still being easy enough to manage smaller clusters. It has been originally developed during the European Data Grid (EDG) project. It is now in use at more than 50 grid sites running gLite middleware, ranging from small EGEE/LCG T3 to very large one like CERN.
Quattor ability to factorize common part of description configuration and advanced features of PAN language used to do this description allowed to build and maintain a common set of templates that any site can just import and customize without editing them. This resulted in the so-called QWG templates, a complete set of standard templates to configure OS and gLite middleware. This results in a very efficient sharing of installation and configuration tasks around the world. This could be extended to many service configuration other than grid services and is already available for standard services like mail, web servers... with a support for configuring virtual machines.
This presentation, in addition to Quattor specific features, will introduce how the project is managed by the community and plans for the long-term sustainability of the product.
The interests of synchronous communications in collaborative activities have been recognized by an important number of researches and experiments. More recent technical environments offer the use of synchronous communications as a collaborative learning solution for a group of distributed users, where each one gains independence from each other and joins a collaboration activity by their own.
PLATINE environment offers a lot of mechanisms that can be used in different contexts: e-learning ,co-design, cooperative work...
After a short description of the PLATINE software, the goal of this presentation is to give the reasons why to distribute PLATINE under the free softwarelicence CECILL-B. We will present the difficulties encountered in this stage, but also the positive repercussions related to this kind of diffusion. In conclusion, we will present a development and new usage of the PLATINE components.
eXo Platform is a French company founded in 2003 and now employing 100 collaborators. eXo Platform is developing Open Source collaborative software that are based on an innovative web portal solution which enables the virtualization of the work space through an advanced WebOS interface. Standing in the international market, eXo Platform count as its customers the American Department of Defense, the Belgium Financial Minister, the State of Geneva and some French general councils, as well as major industrial customers who chose eXo Platform products for huge projects involving thousands users.
OCELOT (Open Collaborative Environment for the Leverage of Online Engineering) is issued from a research project prototype, realized at the DIOM laboratory of TELECOM Saint-Etienne, associated school of the French Institut TELECOM (formerly GET). OCELOT allows the remote control of apparatuses, instruments, devices in an industrial, research and education context. The main originality of the framework is to support synchronous collaboration (Computer-Supported Collaborative Work), and to minimize the amount of integration time when putting a new device online.
The underlying middleware is based on JOnAS (EJB3) and JORAM, but also on other technologies from the Web 3.0 (semantic web : ontologies). OCELOT is becoming an open source project, hosted at OW2.
Graphical environment today are not fondamentaly different of what they were in the Xerox Star workstation of the late 70s. Applications share the file systems, the screen, the network access, the clipboard, the keyboard, the mouse, and not much more. Applications are fondamentaly isolated from the others. Semantic technologies used in the Mandriva Smart Desktop integrated in the last Mandriva 2010 distribution are opening a new mean to share informations between applications. It leads to a real productivity increase. That's what we intend to explain and demonstrate during this presentation.
Pack is a one-stop solution for packaging, distributing and deploying applications. It is able to generate cross platform, Java-based installers that both encompass and embrace the target operating systems heterogeneity (Windows, Mac OS X, Linux, *BSD, Solaris). IzPack is by no mean rigid and lets you compose your installers the way you want through a wide range of existing features and extension points.
This talk will outline: the IzPack features, its use-cases and positioning against other deployment solutions, the history of the project, from a fun hack made in a student dorm-room to an industry-backed international project thoughts on building a project community, licensing matters, sustaining/scaling a project in the long term and business-model considerations.
The presentation will start by summarizing some results of the Eureka/ITEA project GGCC (Global GNU Compiler Collection) where Julio collaborated in the design of an open platform for coding rule validation.
Then, the presentation continues on ellaboration on the different connections between formal techniques, in a broad sense, and open source software development.
Finally, I will discuss how these examples lead naturally to the emergent concept of semantic forge.
Founded in 2008, UShareSoft's mission is to deliver an easy to use software appliance factory, formally named UForge that provides the best SaaS platform to create of business ready software appliances. We make it simple for individual developers, communities, and professionals to build from open source software, integrate their applications into ready-to-run virtual images, software appliances or virtual appliances.
Complementing UForge SaaS web services platform, UShareSoft provides a Rich Internet Application (RIA) desktop client named UShare Builder. UShare Builder provides a seamless user experience to create, build, update and maintain software appliances.
UShareSoft strongly supports the sharing and participation age and believes in the open source movement. The UForge platform is built on top of a number of open source components and we provide a large catalogue of open source operating systems and projects to help you easily construct software appliances. In addition, UShareSoft provides to Open Source projects and Communities access to free Open Source Project accounts on the UForge platform.
The INRIA’s galaxy ADT (Technology Development Action) contributes to make INRIA a value-added player in the SOA (Service-Oriented Architecture) arena, by providing an open SOA platform, enabling agility using dynamic architectures. This ADT will work for INRIA and INRIA's research project-teams direct benefit, and aims at pre- assembling technological bricks from various teams, projects and preparing them to be transferred through the open source software channel.
galaxy provides an integrated environment by assembling and leveraging INRIA's open-source technologies. galaxy allows to design, deploy, run, monitor systems, following concepts and paradigms inherited from service- oriented, process and dynamic architectures, and offering a set of management functions for agile and dynamic systems. galaxy technologies are most of them compliant with the Eclipse and the SCA standards.
With Biocep-R, We propose to build on top the mainstream Statistical and Scientific Computing Environments (R,cilab, Matlab, SAS..) a federative and user-centric OSS platform for High Performance Computing, data analysis and collaboration. Biocep-R computational engines can be running locally or remotely (on Servers/Clusters/Grids/Clouds) and can be accessed from the Researcher's laptop. The Researcher can use an extensible cross-platform workbench to pilot the engines and can also control them programmatically.
The workbench includes highly programmable server-side spreadsheets fully integrated with the SCEs functions and data and that can be mirrored to Excel's spreadsheets.
Multiple Researchers can connect simultaneously to the same the remote computational engine and use it collaboratively via a set of broadcasted views .
The Researcher can easily create or connect to multiple engines running on one or multiple heterogeneous infrastructures and use them for parallel computing. The plug-ins architecture offers a highly innovative way to produce and distribute SCE-based User Interfaces for Academia (Science gateways) and Industry (Financial Dashboards, What-if-analysis user interfaces, analytical applications...). Biocep-R on local virtual appliances opens new perspectives for reproducible computational research.
Virtual Machines with R,Scilab and Biocep are publically available on Amazon's Elastic Cloud and can be run on demand to perform statistical/numerical computing using "unlimited" computational and storage resources. The Presentation will give an overview of this new platform and the main usage scenarios will be demonstarted.
FLOSSMETRICS: The main objective of FLOSSMETRICS is to construct, publish and analyse a large scale database with information and metrics about libre software development coming from several thousands of software projects, using existing methodologies, and tools already developed. The project will also provide a public platform for validation and industrial exploitation of results.
The SIM-SYProd action (« Service, Interoperability Modelling for Industrial Systems ») has been set up and driven by the GOSPI research cluster (France, Rhône-Alpes) to propose reinforced links between the modelling of business processes of an industrial system with the information and communication techniques as available today.
The study of industrial business processes implies a “concurrent” approach bringing together distinct specialized viewpoints and conducting to an overall and multidisciplinary vision: business modelling, information technologies and innovation challenges are to be considered simultaneously and as a whole.
The main innovative aspect of this collaborative action has been to bridge and manage interfaces between two domains, on the one hand industrial system engineering and information systems modelling, on the other information and communication technologies.
This initiative has enabled bringing together crosscutting skills and expertise, and has demonstrated the interest of building an open, sustainable, multi-disciplinary, collaborative and “concurrent” research group.
Discover how you can easily develop and maintain web applications with an intuitive and powerful open source BPM solution such Bonita Open Solution. Learn how you can draw processes as naturally as on a whiteboard; how connect to your information system from your processes and how to run your processes as an standalone web application in your favorite browser.
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.
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AIVladimir Iglovikov, Ph.D.
Presented by Vladimir Iglovikov:
- https://www.linkedin.com/in/iglovikov/
- https://x.com/viglovikov
- https://www.instagram.com/ternaus/
This presentation delves into the journey of Albumentations.ai, a highly successful open-source library for data augmentation.
Created out of a necessity for superior performance in Kaggle competitions, Albumentations has grown to become a widely used tool among data scientists and machine learning practitioners.
This case study covers various aspects, including:
People: The contributors and community that have supported Albumentations.
Metrics: The success indicators such as downloads, daily active users, GitHub stars, and financial contributions.
Challenges: The hurdles in monetizing open-source projects and measuring user engagement.
Development Practices: Best practices for creating, maintaining, and scaling open-source libraries, including code hygiene, CI/CD, and fast iteration.
Community Building: Strategies for making adoption easy, iterating quickly, and fostering a vibrant, engaged community.
Marketing: Both online and offline marketing tactics, focusing on real, impactful interactions and collaborations.
Mental Health: Maintaining balance and not feeling pressured by user demands.
Key insights include the importance of automation, making the adoption process seamless, and leveraging offline interactions for marketing. The presentation also emphasizes the need for continuous small improvements and building a friendly, inclusive community that contributes to the project's growth.
Vladimir Iglovikov brings his extensive experience as a Kaggle Grandmaster, ex-Staff ML Engineer at Lyft, sharing valuable lessons and practical advice for anyone looking to enhance the adoption of their open-source projects.
Explore more about Albumentations and join the community at:
GitHub: https://github.com/albumentations-team/albumentations
Website: https://albumentations.ai/
LinkedIn: https://www.linkedin.com/company/100504475
Twitter: https://x.com/albumentations
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!SOFTTECHHUB
As the digital landscape continually evolves, operating systems play a critical role in shaping user experiences and productivity. The launch of Nitrux Linux 3.5.0 marks a significant milestone, offering a robust alternative to traditional systems such as Windows 11. This article delves into the essence of Nitrux Linux 3.5.0, exploring its unique features, advantages, and how it stands as a compelling choice for both casual users and tech enthusiasts.
Maruthi Prithivirajan, Head of ASEAN & IN Solution Architecture, Neo4j
Get an inside look at the latest Neo4j innovations that enable relationship-driven intelligence at scale. Learn more about the newest cloud integrations and product enhancements that make Neo4j an essential choice for developers building apps with interconnected data and generative AI.
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex ProofsAlex Pruden
This paper presents Reef, a system for generating publicly verifiable succinct non-interactive zero-knowledge proofs that a committed document matches or does not match a regular expression. We describe applications such as proving the strength of passwords, the provenance of email despite redactions, the validity of oblivious DNS queries, and the existence of mutations in DNA. Reef supports the Perl Compatible Regular Expression syntax, including wildcards, alternation, ranges, capture groups, Kleene star, negations, and lookarounds. Reef introduces a new type of automata, Skipping Alternating Finite Automata (SAFA), that skips irrelevant parts of a document when producing proofs without undermining soundness, and instantiates SAFA with a lookup argument. Our experimental evaluation confirms that Reef can generate proofs for documents with 32M characters; the proofs are small and cheap to verify (under a second).
Paper: https://eprint.iacr.org/2023/1886
Building RAG with self-deployed Milvus vector database and Snowpark Container...Zilliz
This talk will give hands-on advice on building RAG applications with an open-source Milvus database deployed as a docker container. We will also introduce the integration of Milvus with Snowpark Container Services.
Climate Impact of Software Testing at Nordic Testing DaysKari Kakkonen
My slides at Nordic Testing Days 6.6.2024
Climate impact / sustainability of software testing discussed on the talk. ICT and testing must carry their part of global responsibility to help with the climat warming. We can minimize the carbon footprint but we can also have a carbon handprint, a positive impact on the climate. Quality characteristics can be added with sustainability, and then measured continuously. Test environments can be used less, and in smaller scale and on demand. Test techniques can be used in optimizing or minimizing number of tests. Test automation can be used to speed up testing.
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdfMalak Abu Hammad
Discover how MongoDB Atlas and vector search technology can revolutionize your application's search capabilities. This comprehensive presentation covers:
* What is Vector Search?
* Importance and benefits of vector search
* Practical use cases across various industries
* Step-by-step implementation guide
* Live demos with code snippets
* Enhancing LLM capabilities with vector search
* Best practices and optimization strategies
Perfect for developers, AI enthusiasts, and tech leaders. Learn how to leverage MongoDB Atlas to deliver highly relevant, context-aware search results, transforming your data retrieval process. Stay ahead in tech innovation and maximize the potential of your applications.
#MongoDB #VectorSearch #AI #SemanticSearch #TechInnovation #DataScience #LLM #MachineLearning #SearchTechnology
Removing Uninteresting Bytes in Software FuzzingAftab Hussain
Imagine a world where software fuzzing, the process of mutating bytes in test seeds to uncover hidden and erroneous program behaviors, becomes faster and more effective. A lot depends on the initial seeds, which can significantly dictate the trajectory of a fuzzing campaign, particularly in terms of how long it takes to uncover interesting behaviour in your code. We introduce DIAR, a technique designed to speedup fuzzing campaigns by pinpointing and eliminating those uninteresting bytes in the seeds. Picture this: instead of wasting valuable resources on meaningless mutations in large, bloated seeds, DIAR removes the unnecessary bytes, streamlining the entire process.
In this work, we equipped AFL, a popular fuzzer, with DIAR and examined two critical Linux libraries -- Libxml's xmllint, a tool for parsing xml documents, and Binutil's readelf, an essential debugging and security analysis command-line tool used to display detailed information about ELF (Executable and Linkable Format). Our preliminary results show that AFL+DIAR does not only discover new paths more quickly but also achieves higher coverage overall. This work thus showcases how starting with lean and optimized seeds can lead to faster, more comprehensive fuzzing campaigns -- and DIAR helps you find such seeds.
- These are slides of the talk given at IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2022.
UiPath Test Automation using UiPath Test Suite series, part 5DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 5. In this session, we will cover CI/CD with devops.
Topics covered:
CI/CD with in UiPath
End-to-end overview of CI/CD pipeline with Azure devops
Speaker:
Lyndsey Byblow, Test Suite Sales Engineer @ UiPath, Inc.
A tale of scale & speed: How the US Navy is enabling software delivery from l...sonjaschweigert1
Rapid and secure feature delivery is a goal across every application team and every branch of the DoD. The Navy’s DevSecOps platform, Party Barge, has achieved:
- Reduction in onboarding time from 5 weeks to 1 day
- Improved developer experience and productivity through actionable findings and reduction of false positives
- Maintenance of superior security standards and inherent policy enforcement with Authorization to Operate (ATO)
Development teams can ship efficiently and ensure applications are cyber ready for Navy Authorizing Officials (AOs). In this webinar, Sigma Defense and Anchore will give attendees a look behind the scenes and demo secure pipeline automation and security artifacts that speed up application ATO and time to production.
We will cover:
- How to remove silos in DevSecOps
- How to build efficient development pipeline roles and component templates
- How to deliver security artifacts that matter for ATO’s (SBOMs, vulnerability reports, and policy evidence)
- How to streamline operations with automated policy checks on container images
Sudheer Mechineni, Head of Application Frameworks, Standard Chartered Bank
Discover how Standard Chartered Bank harnessed the power of Neo4j to transform complex data access challenges into a dynamic, scalable graph database solution. This keynote will cover their journey from initial adoption to deploying a fully automated, enterprise-grade causal cluster, highlighting key strategies for modelling organisational changes and ensuring robust disaster recovery. Learn how these innovations have not only enhanced Standard Chartered Bank’s data infrastructure but also positioned them as pioneers in the banking sector’s adoption of graph technology.
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Albert Hoitingh
In this session I delve into the encryption technology used in Microsoft 365 and Microsoft Purview. Including the concepts of Customer Key and Double Key Encryption.
Unlocking Productivity: Leveraging the Potential of Copilot in Microsoft 365, a presentation by Christoforos Vlachos, Senior Solutions Manager – Modern Workplace, Uni Systems
3. TOPCASED: The application domain
• TOPCASED = Toolkit in OPen-source for Critical
Applications & SystEms Development
• Safety-critical embedded systems:
Aeronautical
Space
Automotive
6. Reliability
• Safety-critical software must be approved by
(independent) certification authorities
• The software is thoroughly reviewed
• Software correctness must be demonstrated
• The development process is audited
=> Much attention is devoted to process and
development tools, from early system design to
final product
7. Long-term life cycle
• Example: AIRBUS A300
• Program began in 1972
and will stop in 2007
2007-1972 = 35 years
• Support will last until 2050
2050-1972 = 78 years !!!
9. Which development tools for such
systems?
• Various computer languages:
Specification languages: SysML, SAM, UML
Design languages: AADL, UML, ECORE for Java applications
Programming languages: Ada, C, C++, Java, Python
• Tools for these languages:
Graphical editors
Compilers / Translators / Code generators
Checkers: from coding rules to model checking
• Software engineering tools:
Expression of needs – requirements capture
Management of versions, changes, configurations, processes
Documentation – Quality assurance
10. The traditional software business model
• In most cases, development tools are:
first, designed in universities and public research labs
then, transferred to companies (software editors) if there is a
potential market
• However, some innovative tools may not be distributed by classical
software editors because:
they are too specialized
they are technically difficult to develop
there are too few potential users
Examples:
Static analyzers
Model checkers
Qualification of tools for certification credit
11. Frequent issues with software editors
• 1) Pricing issues:
Licenses are "too expensive" (wrt the "real value" of the tool)
Prices may increase suddenly (x2, x3, etc.)
Maintenance contracts are expensive too, but bring finally no
real guarantee
• 2) Lack of controlability:
Users do not really master the tools, nor their evolutions
They have little impact on software editors' strategies
12. Frequent issues with software editors
• 3) No long-term availability:
Tools often travel from a software editor to another one, depending on
market tendencies and financial decisions:
– ATTOL : Marben => Rational => IBM
– SCADE : Verilog => CS => Telelogic => Esterel Technologies
Some tools disappear or their distribution stops:
– ObjectGeode : Verilog => CS => Telelogic
– ProLint code checker
• 4) Problems with the "extended enterprise" (outsourcing) model
Large companies develop software with partners and sub-contractors
Availability of development tools is problematic in this context (deployment
costs, number of licenses, etc.)
It may become impossible when partners/sub-contractors cannot acquire
tools that are not distributed anymore
13. Frequent issues with software editors
• Several difficult constraints:
Limited (but not "tiny") market for tools
Long-term availability and support
• A different software business model is needed
• Open source is a possible solution
15. The TOPCASED approach
• Open source tools for developing embedded systems
• Propose a common software platform (generic components)
• Federate a significant user community
• Co-operate with open source communities: Eclipse, OMG, etc.
• Co-operate with universities / research centers:
Integrate recent academic results in the TOPCASED platform
Teach students about industrial processes and tools
National / European funding: ANR, DGE, OSEO, ITEA, ARTEMIS
• Co-operate with software companies:
Services: training, support, maintenance
Editors can still commercialize high added-value components on top
of the open source development platform
16. Expected benefits of an open source
approach
• Ensure long-term availability of tools
• Avoid single-source dependency
• Share knowledge and risks between industrial users
• Take advantage of innovation
• Contribute to standardization effort
• (Reduce costs)
17. Potential risks
• The success of an open source approach is not guaranteed
• Need to build a user community:
Provide significant software components
Provide a well-designed global architecture
Federate all the contributors and users
• Need to build an international ecosystem:
With users and contributors dispatched all over the world,
With software editors developing tools on top of the platform
With a light structure for marketing and communication
With the support of research funding agencies
18. The TOPCASED project
• Long-term goals:
Perennial software tools for embedded systems (aerospace, automotive,
etc.)
seamless processes and tools, from early design to final product
• Current focus:
Specification and architecture at equipment, software and hardware
level
Detailed system specification for software-intensive systems
• Already 5 years of active work:
Project launched in 2004
Project extended until the end of 2010
Leader: Airbus (Patrick Farail)
Budget: 20 M€
19. The TOPCASED consortium
Industries
SMEs
Atlas
Triskel
l
Cesta
School/Universities Laboratories
Page 19
22. TOPCASED architecture wrt Eclipse
• Based on Eclipse plug-
ins and features
• TOPCASED plug-ins
can be extended, as
any Eclipse plug-ins
• TOPCASED adds a
simple service-oriented
bus allows to connect
non-Eclipse tools
23. TOPCASED wrt model-based and formal
approaches
• TOPCASED supports model-based design:
Based on Eclipse and OMG concepts: EMF, ECORE, MDA/MDE
A generic conceptual framework:
– Specifications and programs seen as "models"
– Translations seens as "transformations" between models
– Language grammars seen as "meta-models"
• TOPCASED connects to formal methods:
FIACRE pivot language
Connections to model checkers for asynchronous languages:
– CADP (INRIA Grenoble)
– TINA (LAAS-CNRS Toulouse)
Connections to synchronous languages: Polychrony (INRIA Rennes)
24. TOPCASED main functionalities
TOPCASED
TOPCASED Simulator Engines
Model Editors
Source code,
Test code,
Documentation,
TOPCASED TOPCASED …
Model to Model Model to Text
Transformations Transformations
TOPCASED
Formal Checking
Configuration, Change and Requirements management
tools communication
Page 24
25. TOPCASED components
software engineering:
model validation:
Ecore editor to • documentation
• simulation
define new editors • coverage and traceability
• rule checking
(contributed to • management of changes,
• V&V (model checking)
Eclipse) versions, configurations gPM
model editors
(almost entirely TVM
generated
automatically) TCM
model
checkers
UML2 SysML SAM XXX simulation rules code doc traceability
Ecore Editor Editor Editor Editor engine checker generator generator engine
Editor TOPCASED SDK
templates
UML2 search compare Acceleo/oAW ATL/QVT
Eclipse Modeling Framework Graphical Editor Framework
Eclipse RCP 3.4
Page 25
26. TOPCASED chronology
ey ce
f Vall g ur g
Of ce n in so in
p k a o er n nd
s hi kic p i te e e fu
ea rs t os sit t s itte op ry l
ti
d e
jec
r rs t
1s elive na
irs r tn Ae ropo Fi mm io
F Pa Pr
o
p co d N at
)
2004 ,… ) 2006
2005 sML M ac
k
y P b
,S t (g t or ed +
ML en fi rs rat n fe ss
(U em k + ene atio er
s ce t
rs ag r s s Us ro en
ito an e wo tio
n nt n g mul
e o i
p
el irem
d a ) od u
l e e mativ
e g ent vem tati n (s ers m req ty
od an bor im ro en tio eck l
ul del bili
M ch la er p
Im cumifica s ch F o a
l xp M ace
+ co
of
e do Ver ule r
.0
+
ar
t .0 + nd r 0 t
3.
v1 St v2 a v
Start of Industrial
2007 2008 Improvements for 2009
A350 Deployment
Page 26
28. Graphical editors: UML
● UML 2.1 compliant
● Supported diagrams
− Class
− Use cases
− State charts
− Sequence
− Deployment
− Activity
− Components
− Profiles
29. Conclusion
• TOPCASED: an open source approach for safety-critical
embedded systems
• A large consortium:
Major companies
SME
Academics
• Significant software contributions:
Already in use at Airbus, Astrium, Atos Origin, CS, Rockwell, etc.
Partly integrated to Eclipse
• A stable release every year
• More than 100,000 downloads on the last 12 months
30. More information
• Web site:
http://www.topcased.org
• Contact:
topcased-users@lists.gforge.enseeiht.fr
• Training on tools or processes:
topcased-contact@lists.gforge.enseeiht.fr
Page 30