|
CIP-Tool
{{other uses of, CIP CIP-Tool (Communicating Interacting Processes) is a software tool for the modelling and implementation of event-driven applications. It is especially relevant for the development of software components of embedded systems. History The underlying mathematical formalisms of CIP were first proposed by the physicist, Prof. Dr. Hugo Fierz. The tool was subsequently developed at the Swiss Federal Institute of Technology (Zurich) in a series of research projects during the 1990s. Development and distribution has since been transferred to a commercially operating spin-off company, CIP-Tool, based in Solothurn, Switzerland. CIP Tool has been over taken by Actifsource GmbH in summer 2011. Actifsource has integrated the CIP Tool into the Actifsource workbench. Methodology The CIP-model is basically a finite-state machine, or more precisely, an extended finite-state machine (processes can store and modify variables and can use these to enable or disable transitions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Actifsource
Actifsource is a domain-specific modeling workbench. It is realized as plug-in for the software development environment Eclipse. Actifsource supports the creation of multiple domain models which can be linked together. It comes with a UML-like graphical editor to create domain-specific languages and a general graphical editor to edit structures in the created languages. It supports code generation using user-defined generic code templates which are directly linked to the domain models. Code generation is integrated into Eclipse's incremental build process. Interoperability Actifsource can use models from other modelling tools by importing and exporting the ecore format which is defined by the Eclipse Modeling Framework. Licensing policy There are two versions of actifsource available: The free community edition which can be used freely for non-commercial projects and the enterprise edition which contains additional features. The enterprise edition comes with customer suppo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software
Software consists of computer programs that instruct the Execution (computing), execution of a computer. Software also includes design documents and specifications. The history of software is closely tied to the development of digital computers in the mid-20th century. Early programs were written in the machine language specific to the hardware. The introduction of high-level programming languages in 1958 allowed for more human-readable instructions, making software development easier and more portable across different computer architectures. Software in a programming language is run through a compiler or Interpreter (computing), interpreter to execution (computing), execute on the architecture's hardware. Over time, software has become complex, owing to developments in Computer network, networking, operating systems, and databases. Software can generally be categorized into two main types: # operating systems, which manage hardware resources and provide services for applicat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Embedded Systems
An embedded system is a specialized computer system—a combination of a computer processor, computer memory, and input/output peripheral devices—that has a dedicated function within a larger mechanical or electronic system. It is embedded as part of a complete device often including electrical or electronic hardware and mechanical parts. Because an embedded system typically controls physical operations of the machine that it is embedded within, it often has real-time computing constraints. Embedded systems control many devices in common use. , it was estimated that ninety-eight percent of all microprocessors manufactured were used in embedded systems. Modern embedded systems are often based on microcontrollers (i.e. microprocessors with integrated memory and peripheral interfaces), but ordinary microprocessors (using external chips for memory and peripheral interface circuits) are also common, especially in more complex systems. In either case, the processor(s) use ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prof
Jacob Lukas Anderson (born April 29, 1984), better known by his stage name Prof, is an American rapper, singer, and producer based in Minneapolis, Minnesota. He released his first full-length album, ''Project Gampo'', in 2007 and has since released six additional albums and three EPs. In 2012, ''City Pages'' named Prof on their list of Minnesota's 20 best rappers. He was formerly signed to Rhymesayers Entertainment. Early life Jacob "Jake" Anderson was born in Minneapolis, Minnesota, and grew up in the city's Powderhorn, Minneapolis, Powderhorn neighborhood. His mother, Colleen, had a rocky relationship with his father (who suffered from bipolar disorder and was physically abusive) whom she would later divorce and move away from, taking Anderson's three older sisters with her. In his teenage years, he developed a "comedic, dirty-mouthed rap persona" he named Gampo after a childhood friend. Anderson graduated from South High School (Minneapolis), Minneapolis South High School in 2 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ETH Zurich
ETH Zurich (; ) is a public university in Zurich, Switzerland. Founded in 1854 with the stated mission to educate engineers and scientists, the university focuses primarily on science, technology, engineering, and mathematics. ETH Zurich ranks among Europe's best universities. Like its sister institution École Polytechnique Fédérale de Lausanne, EPFL, ETH Zurich is part of the ETH Domain, Swiss Federal Institutes of Technology Domain, a consortium of universities and research institutes under the Swiss Federal Department of Economic Affairs, Education and Research. , ETH Zurich enrolled 25,380 students from over 120 countries, of which 4,425 were pursuing doctoral degrees. Students, faculty, and researchers affiliated with ETH Zurich include 22 Nobel Prize, Nobel laureates, two Fields Medalists, three Pritzker Architecture Prize, Pritzker Prize winners, and one Turing Award, Turing Award recipient, including Albert Einstein and John von Neumann. It is a founding member o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solothurn
Solothurn ( ; ; ; ; ) is a town, a municipality, and the capital of the canton of Solothurn in Switzerland. It is located in the north-west of Switzerland on the banks of the Aare and on the foot of the Weissenstein Jura mountains. The town is the only municipality of the district of the same name. The town got its name from Salodurum, a Roman-era settlement. From 1530 to 1792 it was the seat of the French ambassador to Switzerland. The pedestrian-only old town was built between 1530 and 1792 and shows an impressive array of Baroque architecture, combining Italian Grandezza, French style, and Swiss ideas. The town has eighteen structures listed as heritage sites. The official language of Solothurn is (the Swiss variety of Standard) German, but the main spoken language is the local variant of the Alemannic Swiss German dialect. History Pre-Roman settlement The oldest finds from Solothurn probably date from the Paleolithic era. The remains of a Mesolithic camp were discovered ... [...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 ''State (computer science), states'' at any given time. The FSM can change from one state to another in response to some Input (computer science), 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 automaton, deterministic finite-state machines and Nondeterministic finite automaton, non-deterministic finite-state machines. For any non-deterministic finite-state machine, an equivalent deterministic one can be constructed. The behavior of state machines can be observed in many devices in modern society that perform a predetermined sequence of actions d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Extended Finite-state Machine
In a conventional finite-state machine, the transition is associated with a set of input Boolean conditions and a set of output Boolean functions. In an extended finite-state machine (EFSM) model, the transition can be expressed by an “if statement” consisting of a set of trigger conditions. If trigger conditions are all satisfied, the transition is fired, bringing the machine from the current state to the next state and performing the specified data operations. Definition An EFSM is defined as a 7-tuple M=(I,O,S,D,F,U,T) where * S is a set of symbolic states, * I is a set of input symbols, * O is a set of output symbols, * D is an n-dimensional linear space D_1 \times \ldots \times D_n, * F is a set of ''enabling functions'' f_i : D \rightarrow \{0,1\}, * U is a set of ''update functions'' u_i : D \rightarrow D, * T is a transition relation, T : S \times F \times I \rightarrow S \times U \times O Structure EFSM Architecture: An EFSM model consists of the following three ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Petri Nets
A Petri net, also known as a place/transition net (PT net), is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph that has two types of elements: places and transitions. Place elements are depicted as white circles and transition elements are depicted as rectangles. A place can contain any number of tokens, depicted as black circles. A transition is enabled if all places connected to it as inputs contain at least one token. Some sources state that Petri nets were invented in August 1939 by Carl Adam Petri — at the age of 13 — for the purpose of describing chemical processes. Like industry standards such as UML activity diagrams, Business Process Model and Notation, and event-driven process chains, Petri nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Unlike these standards, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
C/C++
The C and C++ programming languages are closely related but have many significant differences. C++ began as a fork of an early, pre-standardized C, and was designed to be mostly source-and-link compatible with C compilers of the time. Due to this, development tools for the two languages (such as IDEs and compilers) are often integrated into a single product, with the programmer able to specify C or C++ as their source language. However, C is ''not'' a subset of C++, and nontrivial C programs will not compile as C++ code without modification. Likewise, C++ introduces many features that are not available in C and in practice almost all code written in C++ is not conforming C code. This article, however, focuses on differences that cause conforming C code to be ill-formed C++ code, or to be conforming/well-formed in both languages but to behave differently in C and C++. Bjarne Stroustrup, the creator of C++, has suggested that the incompatibilities between C and C++ should be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Java (programming Language)
Java is a High-level programming language, high-level, General-purpose programming language, general-purpose, Memory safety, memory-safe, object-oriented programming, object-oriented programming language. It is intended to let programmers ''write once, run anywhere'' (Write once, run anywhere, WORA), meaning that compiler, compiled Java code can run on all platforms that support Java without the need to recompile. Java applications are typically compiled to Java bytecode, bytecode that can run on any Java virtual machine (JVM) regardless of the underlying computer architecture. The syntax (programming languages), syntax of Java is similar to C (programming language), C and C++, but has fewer low-level programming language, low-level facilities than either of them. The Java runtime provides dynamic capabilities (such as Reflective programming, reflection and runtime code modification) that are typically not available in traditional compiled languages. Java gained popularity sh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Science Software
Science is a systematic discipline that builds and organises knowledge in the form of testable hypotheses and predictions about the universe. Modern science is typically divided into twoor threemajor branches: the natural sciences, which study the physical world, and the social sciences, which study individuals and societies. While referred to as the formal sciences, the study of logic, mathematics, and theoretical computer science are typically regarded as separate because they rely on deductive reasoning instead of the scientific method as their main methodology. Meanwhile, applied sciences are disciplines that use scientific knowledge for practical purposes, such as engineering and medicine. The history of science spans the majority of the historical record, with the earliest identifiable predecessors to modern science dating to the Bronze Age in Egypt and Mesopotamia (). Their contributions to mathematics, astronomy, and medicine entered and shaped the Greek natural philo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
