Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
Safety Compliance Made Easy
SiteDocs is a digital safety management software used to support work site compliance.
Ideally designed for business that deals with Construction, Oil & Gas, Mining, Manufacturing, Mechanical, Electrical, Plumbing, Heating, and Excavating, SiteDocs is a perfect solution for any size business looking to modernize the way Safety Compliance is organized.
GridSAM provides a job submission open standards based web service for submitting computational jobs to many commonly used distributed resource management systems.
UbiCollab (Ubiquitous Collaboration) is a platform to support collaboration in physically distributed groups and communities. UbiCollab focuses on integrating physical devices and artifacts into the collaboration environment. This is a research project.
Java based multi-agent platform built on an organizational model (agent, group, role). MadKit provides general agent facilities (lifecycle management, message passing, distribution, ...), and allows high heterogeneity in agents.
Aladdin is a dynamically extensible context acquisition and modeling framework designed for resource constrained mobile devices. Aladdin was created by Darren Carlson (http://dcarlson.info) and is currently being extended to support OSGi and Android.
Structs and Nodes Development for Java. An alternative approach to enterprise-class software development using a message oriented execution model and code generation. Deploys to servlet container + db environment.
DataHub is the leading open-source data catalog helping teams discover, understand, and govern their data assets.
Modern Data Catalog and Metadata Platform
Built on an open source foundation with a thriving community of 13,000+ members, DataHub gives you unmatched flexibility to customize and extend without vendor lock-in. DataHub Cloud is a modern metadata platform with REST and GraphQL APIs that optimize performance for complex queries, essential for AI-ready data management and ML lifecycle support.
Out of the box JMX based management for J2EE systems. Comes with basic monitoring and event handling services, dynamic MBean proxy generation, and P2P JMX networking that can be customized and extended.
RedDwarf is a horizontally scalable application server for low latency apps such as online games, virtual worlds, and social networking applications. It is the official community fork for Project Darkstar, previously sponsored by Sun Microsystems.
A framework to support dynamic adaptation behavior in Java EE enterprise systems and to develop self-managing applications. StarMX utilizes JMX features and can be integrated with different policy/rule engines to enable self-management capabilities.
HadoopDB is a hybrid of parallel database and MapReduce technologies. It approaches parallel databases in performance and efficiency, yet still yields the scalability, fault tolerance, and flexibility of MapReduce systems.
Mandarax is a pure Java implementation of a rule engine. It supports mutiples types of facts and rules based on reflection, databases, EJB etc, supporting XML standards (RuleML 0.8). It provides a J2EE compliant inference engine using backward chaining.
SQLREST enables access to a relational database as RESTful Web Service. Entities can be queried, created and modified using the HTTP methods GET, POST, PUT and DELETE.
JmsConnectionFarm is a high-performance JMS connection pooling package for high-volume JMS applications. It provides interfaces to send/receive messages using cached connections, and provides a blocking request/response client/server model using pure JMS
The Contingency Management Framework helps design fault-tolerant, and resource-aware systems. It monitors vital resource (e.g. the network) and sets up coping strategies when different contingent states occurs. Used in Ubiquitous Computing research.
EasyPastry is built on top of Pastry, a decentralized key-based routing (KBR) P2P overlay network. The main objective of EasyPastry is to provide a complete façade in order to simplify the P2P application development.
PHPRPC is a Remote Procedure Calling (RPC) protocol that works over the Internet. It is secure and fast. It has a smaller overhead. It is powerful and easy to use. This project is the client and server implementations of the PHPRPC.
The Sapia Open Source Organization intends to offer reusable, well-documented Java libraries. Conciseness, elegance, ease-of-use, to name a few, are goals we are aiming at.