Innoslate
SPEC Innovations’ leading model-based systems engineering solution is designed to help your team minimize time-to-market, reduce costs, and mitigate risks, even with the most complex systems. Available as both a cloud-based and on-premise application, it offers an intuitive graphical user interface accessible through any modern web browser.
Innoslate's comprehensive lifecycle capabilities include:
• Requirements Management
• Document Management
• System Modeling
• Discrete Event Simulation
• Monte Carlo Simulation
• DoDAF Models and Views
• Database Management
• Test Management with detailed reports, status updates, results, and more
• Real-Time Collaboration
And much more.
Learn more
Pipefy
Pipefy is a low-code Business Orchestration and Automation Technologies (BOAT) platform designed to act as a modern middleware layer for the enterprise stack.
Rather than replacing existing Systems of Record (SORs) like SAP, Oracle, or Salesforce, Pipefy wraps them in an agile orchestration layer. This architecture allows technical teams to modernize legacy operations and extend the life of core systems without the risks associated with "rip and replace" projects. Pipefy provides the infrastructure to sanitize data inputs, manage complex business logic, and orchestrate API calls between fragmented endpoints.
Technical & Architectural Highlights:
• Adaptive Governance Framework: Pipefy solves the "Shadow IT" problem by establishing IT-sanctioned "Safe Zones." Business users can build workflows within these guardrails, while IT retains control over critical data, integrations, and permissions via a centralized console.
• Agentic AI Engine (BYOLLM): The platform features a governable AI Agent Studio. Unlike "black box" solutions, Pipefy supports a Bring Your Own LLM approach, allowing enterprises to integrate preferred models (Azure OpenAI, AWS Bedrock) securely to automate document analysis (OCR) and decision-making.
• Robust Connectivity: Built with an API-first philosophy, Pipefy offers a GraphQL API, Webhooks, and enterprise-grade iPaaS capabilities to ensure seamless data interoperability across the stack.
• Security & Compliance: Engineered for regulated industries, the platform is ISO 27001, ISO 27701, and SOC2 Type II certified, supporting compliance with GDPR and SOX standards.
Pipefy empowers IT leaders to eliminate technical debt and clear development backlogs by safely delegating low-complexity builds to business units.
Learn more
Artelys Knitro
Artelys Knitro stands out as a premier solver for extensive nonlinear optimization challenges, providing a comprehensive array of sophisticated algorithms and functionalities to tackle intricate issues across multiple sectors. It boasts four cutting-edge algorithms: two based on interior-point/barrier techniques and two utilizing active-set/sequential quadratic programming methods, which facilitate both efficient and reliable resolutions for diverse optimization scenarios. Furthermore, Knitro features three dedicated algorithms for mixed-integer nonlinear programming, leveraging heuristics, cutting planes, and branching rules to adeptly manage discrete variables. Among its notable capabilities, Knitro includes parallel multi-start functionalities for global optimization, automatic and parallel adjustments of option settings, and intelligent initialization approaches aimed at swiftly identifying infeasibility. The solver is compatible with various programming environments, offering object-oriented APIs for languages such as C++, C#, Java, and Python, thus ensuring versatility for developers. Additionally, its robust support for parallel computing enhances performance and scalability for large-scale applications.
Learn more
Model Predictive Control Toolbox
The Model Predictive Control Toolbox™ offers a comprehensive suite of functions, an intuitive app, Simulink® blocks, and practical reference examples to facilitate the development of model predictive control (MPC) systems. It caters to linear challenges by enabling the creation of implicit, explicit, adaptive, and gain-scheduled MPC strategies. For more complex nonlinear scenarios, users can execute both single-stage and multi-stage nonlinear MPC. Additionally, this toolbox includes deployable optimization solvers and permits the integration of custom solvers. Users can assess the effectiveness of their controllers through closed-loop simulations in MATLAB® and Simulink environments. For applications in automated driving, the toolbox also features MISRA C®- and ISO 26262-compliant blocks and examples, allowing for a swift initiation of projects related to lane keep assist, path planning, path following, and adaptive cruise control. You have the capability to design implicit, gain-scheduled, and adaptive MPC controllers that tackle quadratic programming (QP) problems, and you can generate an explicit MPC controller derived from an implicit design. Furthermore, the toolbox supports discrete control set MPC for handling mixed-integer QP challenges, thus broadening its applicability in diverse control systems. With these extensive features, the toolbox ensures that both novice and experienced users can effectively implement advanced control strategies.
Learn more