|
AltaRica
AltaRica is an object-oriented modeling language dedicated to probabilistic risk and safety analyses. It is a representative of the so-called model-based approach in reliability engineering. Since its version 3.0, it is developed by the non-profit AltaRica Association, which develops jointly the associated modeling environment AltaRica Wizard. History The design of AltaRica started at the end of the nineties at the computer science department of Bordeaux University (LaBRI). The rationale for the creation of a new modeling language was to overcome difficulties encountered by safety analysts (in avionic, nuclear, automotive and oil and gas industries) with "classical" modeling formalisms such as fault trees, Markov chains or stochastic Petri nets. These formalisms lack actually either of expressive power, or of structuring constructs, or both. The first scientific articles. about the language were published from 1998 to 2008. The original version of the language relied of three ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cross-platform
In computing, cross-platform software (also called multi-platform software, platform-agnostic software, or platform-independent software) is computer software that is designed to work in several computing platforms. Some cross-platform software requires a separate build for each platform, but some can be directly run on any platform without special preparation, being written in an interpreted language or compiled to portable bytecode for which the interpreters or run-time packages are common or standard components of all supported platforms. For example, a cross-platform application may run on Microsoft Windows, Linux, and macOS. Cross-platform software may run on many platforms, or as few as two. Some frameworks for cross-platform development are Codename One, Kivy, Qt, Flutter, NativeScript, Xamarin, Phonegap, Ionic, and React Native. Platforms ''Platform'' can refer to the type of processor (CPU) or other hardware on which an operating system (OS) or application runs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dassault Aviation
Dassault Aviation SA () is a French manufacturer of military aircraft and business jets. It was founded in 1929 by Marcel Bloch as Société des Avions Marcel Bloch or "MB". After World War II, Marcel Bloch changed his name to Marcel Dassault, and the name of the company was changed to Avions Marcel Dassault on 20 January 1947. In 1971 Dassault acquired Breguet, forming Avions Marcel Dassault-Breguet Aviation (AMD-BA). In 1990 the company was renamed Dassault Aviation, and is a subsidiary of Dassault Group. The Dassault Aviation Group has been headed by Éric Trappier since 9 January 2013. History The Société des Avions Marcel Bloch was founded by Marcel Bloch in 1929. In 1935 Bloch and Henry Potez entered into an agreement to buy Société Aérienne Bordelaise (SAB), subsequently renamed ''Société Aéronautique du Sud-Ouest''. In 1936 the arms industry in France was nationalised as the '' Société Nationale de Constructions Aéronautiques du Sud Ouest'' (SN ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Object-Oriented Software Engineering
Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which can contain data and code. The data is in the form of fields (often known as attributes or ''properties''), and the code is in the form of procedures (often known as ''methods''). A common feature of objects is that procedures (or methods) are attached to them and can access and modify the object's data fields. In this brand of OOP, there is usually a special name such as or used to refer to the current object. In OOP, computer programs are designed by making them out of objects that interact with one another. OOP languages are diverse, but the most popular ones are class-based, meaning that objects are instances of classes, which also determine their types. Many of the most widely used programming languages (such as C++, Java, Python, etc.) are multi-paradigm and they support object-oriented programming to a greater or lesser degree, typically in combination with im ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modelica
Modelica is an object-oriented, declarative, multi-domain modeling language for component-oriented modeling of complex systems, e.g., systems containing mechanical, electrical, electronic, hydraulic, thermal, control, electric power or process-oriented subcomponents. The free Modelica language is developed by the non-profit Modelica Association. The Modelica Association also develops the free Modelica Standard Library that contains about 1400 generic model components and 1200 functions in various domains, as of version 4.0.0. Characteristics While Modelica resembles object-oriented programming languages, such as C++ or Java, it differs in two important respects. First, Modelica is a modeling language rather than a conventional ''programming'' language. Modelica classes are not compiled in the usual sense, but they are translated into objects which are then exercised by a simulation engine. The simulation engine is not specified by the language, although certain required capabil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dassault Falcon 7X
The Dassault Falcon 7X is a large-cabin, range business jet manufactured by Dassault Aviation, the second largest of its Dassault Falcon line. Launched at 2001 Paris Air Show, its first flight was on 5 May 2005 and it entered service on 15 June 2007. The Falcon 8X is derived from the 7X with a longer range of afforded by engine optimizing, aerodynamic refinements and an increase in fuel capacity. Featuring an S-duct central engine, it and the Falcon 900 are the only two trijets in production. Falcon 7X Development Dassault launched the FNX at the 2001 Paris Air Show, aiming for a 10,500km (5,700nm) range at Mach 0.88, up from the Falcon 900EX's 8,300 km at Mach 0.84. Its new high-speed wing is longer with 5° higher wing sweep than the 900 wing; while its fuselage is 20% longer, it keeps the same cabin cross-section but with a new curved windscreen. The trijet has a combined thrust of 18,000lb (80kN) provided by Honeywell FX5s, a new design, or a Pratt & Whit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dassault Systèmes
Dassault Systèmes SE () (abbreviated 3DS) is a French software corporation which develops software for 3D product design, simulation, manufacturing and other 3D related products. Founded in 1981, it is headquartered in Vélizy-Villacoublay, France, and has around 20,000 employees in 140 countries. History 1980s Dassault Systèmes (3DS) grew out of the aerospace industry’s search for more sophisticated drafting tools to streamline the development process and aid in the increasing complexity of aviation design. Dassault Systemes spun out in 1981 (as part of Dassault Group.) to develop and market Dassault's 3D surface design software CATI, later renamed CATIA. That same year, 3DS signed a sales and marketing agreement with IBM, allowing IBM to resell the CATIA CAD software. 1990s In the 1990s, 3DS’ software was used to develop seven out of every ten new airplanes and four out of every ten new cars worldwide. Major players in the aviation and automotive industries, inc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Airbus
Airbus SE (; ; ; ) is a European multinational aerospace corporation. Airbus designs, manufactures and sells civil and military aerospace products worldwide and manufactures aircraft throughout the world. The company has three divisions: '' Commercial Aircraft (Airbus S.A.S.)'', '' Defence and Space'', and '' Helicopters'', the third being the largest in its industry in terms of revenues and turbine helicopter deliveries. As of 2019, Airbus is the world's largest airliner manufacturer. The company's main civil aeroplane business is conducted through the French company Airbus S.A.S., based in Blagnac, a suburb of Toulouse, with production and manufacturing facilities mostly in the European Union and the United Kingdom but also in China, the United States and Canada. Final assembly production is based in Toulouse, France; Hamburg, Germany; Seville, Spain; Tianjin, China; Mobile, United States; and Montreal, Canada. The company produces and markets the first commercially ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lustre (programming Language)
Lustre is a formally defined, declarative, and synchronous dataflow programming language for programming reactive systems. It began as a research project in the early 1980s. A formal presentation of the language can be found in the 1991 Proceedings of the IEEE. In 1993 it progressed to practical, industrial use in a commercial product as the core language of the industrial environment SCADE, developed by Esterel Technologies. It is now used for critical control software in aircraft, helicopters, and nuclear power plants. Structure of Lustre programs A Lustre program is a series of ''node'' definitions, written as: node foo(a : bool) returns (b : bool); let b = not a; tel Where foo is the name of the node, a is the name of the single input of this node and b is the name of the single output. In this example the node foo returns the negation of its input a, which is the expected result. Inner variables Additional internal variables can be declared as follows: node ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model-based Design
Model-based design (MBD) is a mathematical and visual method of addressing problems associated with designing complex control, signal processing and communication systems. It is used in many motion control, industrial equipment, aerospace, and automotive applications. Model-based design is a methodology applied in designing embedded software. Overview Model-based design provides an efficient approach for establishing a common framework for communication throughout the design process while supporting the development cycle (V-model). In model-based design of control systems, development is manifested in these four steps: # modeling a plant, # analyzing and synthesizing a controller for the plant, # simulating the plant and controller, # integrating all these phases by deploying the controller. The model-based design is significantly different from traditional design methodology. Rather than using complex structures and extensive software code, designers can use Model-based design ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite State Machine
A finite-state machine (FSM) or finite-state automaton (FSA, plural: ''automata''), finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number of '' states'' at any given time. The FSM can change from one state to another in response to some inputs; the change from one state to another is called a ''transition''. An FSM is defined by a list of its states, its initial state, and the inputs that trigger each transition. Finite-state machines are of two types— deterministic finite-state machines and non-deterministic finite-state machines. A deterministic finite-state machine can be constructed equivalent to any non-deterministic one. The behavior of state machines can be observed in many devices in modern society that perform a predetermined sequence of actions depending on a sequence of events with which they are presented. Simple examples are vending machines, which dispense p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
:en:Stochastic Petri Net
Stochastic Petri nets are a form of Petri net where the transitions fire after a probabilistic delay determined by a random variable. Definition A ''stochastic Petri net'' is a five-tuple ''SPN'' = (''P'', ''T'', ''F'', ''M''0, ''Λ'') where: # ''P'' is a set of states, called ''places''. # ''T'' is a set of ''transitions''. # ''F'' where ''F'' ⊂ (''P'' × ''T'') ∪ (''T'' × ''P'') is a set of flow relations called "arcs" between places and transitions (and between transitions and places). # ''M''0 is the ''initial marking''. # ''Λ = '' is the array of ''firing rates λ'' associated with the transitions. The firing rate, a random variable, can also be a function λ(''M'') of the current marking. Correspondence to Markov process The reachability graph of stochastic Petri nets can be mapped directly to a Markov process. It satisfies the Markov property In probability theory and statistics, the term Markov property refers to the memoryless property of a stochastic proces ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
