This paper presents a complete case study that takes a real Fuel Display System element used in Scania Trucks and applies an unified process for modelling system requirements together with the system itself and verifying these requirements in a structured manner. In order to achieve this process the system is modeled in Modelica, and requirement verification scenarios are specified in ModelicaML and verified with the vVDR (Virtual Verification of Designs against Requirements) approach.
How can Python users be empowered with the robust simulation, compilation and scripting abilities of a nonproprietary object-oriented, equation based modeling language such as Modelica? The immediate objective of this work is to develop an application programming interface for the OpenModelica modeling and simulation environment that would bridge the gap between the two agile programming languages Python and Modelica.The Python interface to OpenModelica -OMPython, is both a tool and a functional library that allows Python users to realize the full capabilities of OpenModelica's scripting and simulation environment requiring minimal setup actions. OMPython is designed to combine both the simulation and model building processes. Thus domain experts (people writing the models) and computational engineers (people writing the solver code) can work on one unified tool that is industrially viable for optimization of Modelica models, while offering a flexible platform for algorithm development and research.
International audienceProgrammer par assemblage de composants est un objectif aussi attractif dans le domaine du contrôle des robots que dans tous les autres domaines du développement logiciel. Dans cet article, nous nous attaquons à l'une des difficultés de cette approche en contrôle robotique, la prise en compte des contraintes d'ordonnancement et de synchronisation lors de la composition. Nous réalisons une forme de composition par héritage entre composants définis par des architectures à subsomption. À partir de ce cas spécifique, nous déduisons une approche générale pour définir à terme différentes formes de composition (synchrone, tempsréel réparti, etc.) pour des composants exprimés avec différents formalismes (Esterel, réseaux de Petri, etc.). Notre objectif ultime est de proposer un modèle de composants permettant de produire des assemblages respectant par construction les contraintes globales (temporelles, ressources, etc.) à partir de composants de base eux-mêmes garantis
SummaryAbstract: With the growing complexity of the hardware models, the verification of the functional safety of each individual component as well as of the entire system becomes increasingly complex. In this paper the authors present a novel approach to functional safety analysis, based on the integration of functional tests into the model itself and the analysis of resulting model through a stochastic Bayesian model. This approach strives to both bypass the necessity for costly hardware testing and integrate the functional safety analysis into an intuitive component development process.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.