The BEL Framework is a platform designed to overcome many of the challenges associated with capturing, integrating, and storing knowledge within an organization, and sharing the knowledge across the organization and between business partners. Central to the design of the framework is the ability to integrate knowledge across different representational vocabularies and ontologies. This allows organizations to combine knowledge from disparate sources such as existing applications, internal sources, and business partners. It can then be made available through a standardized set of computable networks and APIs.
System# is a .NET library intended for the description of real-time embedded systems. It comes with a built-in simulator kernel and a code transformation engine that converts a design into synthesizable VHDL. The main focus is currently the development of FPGA designs. System# not only supports register-transfer-level (RTL) descriptions whose translation to VHDL is straightforward, but is also capable of converting clocked threads with wait statements to a synthesizable VHDL state machine. Furthermore, System# introduces synthesizable transaction-level modeling features. From a technological point of view, it uses reflection and assembly code (CIL) decompilation to reconstruct an abstract syntax tree (AST) from the system design. The AST conforms to SysDOM, a document object model for describing component-based reactive systems. An unparsing stage converts the AST to VHDL. The decompilation process can be instrumented in various ways by attribute-based programming. Furthermore, transformations of the AST itself are possible. This enables implementation of advanced features such as converting clocked threads to finite state machines.
FuzzyIndex indexes text for performing fuzzy searches using PHP and SQLite. It can process a list of text strings and build a database which indexes snippets of those strings and the locations where they appear. The class can also search for given keywords and returns the locations of the indexed strings where the best-matching text appears. It uses SQLite to store the indexed text database, but the class can be extended to use a different database type. It uses certain heuristics to extract the snippets from the indexed text. These heuristics are implemented as separate classes which can be used interchangeably.
Ixonos MISP CIMD Simulator is a Computer Interface to Message Distribution (CIMD) protocol version 2.0-compliant server for developing and testing CIMD applications. It can be used out-of-the box for development, functional and load testing CIMD send-only and receiving applications. The simulator does not interface with a SMSC or MMSC. It has been designed to be simple, lightweight, and scalable, and can be easily extended for other use cases and purposes.
GenFoo is a general Fokker-Planck solver for models of arbitrary dimensionality. It contains three backend solvers, a delta-f Monte Carlo, a standard Monte Carlo, and a Finite Element solver. The key property of the GenFoo package is that physics are separated from numerics by runtime loading of the Fokker-Planck coefficients, which enable solutions of a large class of Fokker-Planck models.
openTCS is a platform-independent transportation control system (TCS) intended to control automatic guided vehicles (AGVs), but which can be used to steer virtually any (track-guided) vehicle. It consists of an abstract kernel which implements replaceable algorithms and strategies (computation of routes, dispatching of orders to vehicles, scheduling of resources, etc.), pluggable vehicle drivers which implement communication protocols, and a graphical frontend for creating and visualizing logical models of areas the vehicles are moving in.
OpenSAND, formerly known as Platine, is a user-friendly and efficient tool to emulate satellite communication systems, mainly DVB-RCS - DVB-S2. It provides a suitable and simple means for performance evaluation and innovative access and network techniques validation. Its ability to interconnect real equipments with real applications provides excellent demonstration means.
zlog is a reliable, efficient, thread safe, flexible, pure C logging library. It was written because there were no good C logging libraries along the lines of Logback for Java or log4cxx for C++. printf can work, but can not be easily redirected or reformatted, and syslog is slow and designed for system use. It provides a syslog model, log format customization, multiple output, safe run-time reconfiguration, high performance, user-defined log levels, safe log rotation, a log4j-style key-value map, in-built debugging, and no external dependencies.