MBSE

Liberal Logic Inc. is implementing Model-Based Systems Engineering (MBSE) as one approach to large-scale software development that inherently has complexity issues. We have a good reputation for practical on-site deployment combined with practical software design techniques that go beyond models.

Real-time systems

Liberal Logic Inc. also provides real-time system design services, carried out by an engineering team with extensive experience in designing systems using real-time operating systems. We can provide real-time performance tailored to your requirements for a wide range of systems, from embedded systems using microcontrollers to general-purpose computer systems with processors.

Unit Testing

For software that is to be used in mission-critical systems, it is essential to ensure the quality of each implementation module. Liberal Logic Inc. has developed a unique workflow that integrates unit test results into the design model as a unique approach to unit testing. We provide a development process that can ensure the core quality of critical systems.