About One Fact Inc
one fact in one place, One Fact everywhere
One Fact offers professional services, consulting, training and support around systems modeling, embedded control and for the BridgePoint xtUML modeling tool.
We specialize in eXecutable Translatable UML (xtUML). We help customers improve their application development process by leveraging the benefits open-source xtUML provides. This means your product has a faster time to market, is more robust, and has reusable components for future projects.
Our expertise spans all three areas of xtUML: application modeling, model execution, and translation to implementation code.
Of course, since our team built BridgePoint upon the Eclipse framework, we have extensive experience using Java to create and enhance application software. We also have many years of experience in embedded programming covering a variety of industries and applications.
Additionally we offer consulting around UML standards, modeling techniques, model review, Eclipse, Java, C/C++, embedded software, legacy applications, configuration management, issue tracking, engineering processes, tools integration, model-driven workflows and more.
We can customize and extend the open-source xtUML tools to meet your needs.
Training & Consulting
Need advice and training about xtUML modeling or improving development process, we can help.
If you have any questions please feel free to contact us.
Do you want to put a face with our names? Get to know the One Fact team.
KEEP UP TO DATE WITH OUR LATEST BLOG POSTS
xtUML Days 2018 is co-located with MODELS in Copenhagen, Denmark in October. MODELS is increasing its focus on Industrial Modeling while maintaining the academic and research strength of the conference. The graphic highlights the different industrial opportunities at MODELS this year.
We like the BeagleBone Black development board. It is small, fast and runs full Debian Linux. We jacked it in to our network, ssh’d to it and started development. gcc is on-board, so we can edit our source with vim and compile on-board. Anything missing is just an ‘apt install’ command away. BridgePoint xtUML models translated
-> Continue reading BeagleBone Black
Simulated Time in MC-3020 implements a form of discrete event simulation. In simulated time mode, no external clock is read. The application runs as fast as the architecture allows. The time base is derived from timers used to cause functional delays in the production application. SystemC and Verifier both support modes where time is “simulated”.
-> Continue reading Simulated Time
Congratulations to Levi Starrett upon his promotion to Chief Software Architect. Levi is responsible for the structure and technology of BridgePoint. And will… Research and choose technologies for implementation (such as Java, EMF, Eclipse, Xtext, Python, M2M). Define and maintain interfaces between modules in the tooling. Freshen the technology in a manner that is “Incremental,
-> Continue reading Chief Software Architect
The previous post posed Einstein’s Riddle and supplied a class diagram to abstract the information. Here is the solution in BridgePoint running Verifier. In the Session Explorer to the left, you can see the instances of ‘owner’ and the links to the correct instances of each of ‘house’, ‘pet’, ‘tobacco’ and ‘beverage’. Here is a
-> Continue reading Einstein’s Riddle Solved
The following puzzle is attributed to Albert Einstein or Lewis Carroll. It is sometimes called the Zebra Puzzle. The situation There are 5 houses in five different colors. In each house lives a person with a different nationality. These five owners drink a certain type of beverage, smoke a certain brand of cigar and keep
-> Continue reading Einstein’s Riddle
The symmetric difference (disjunctive union/disunion) of sets A and B (A ^ B) is the set of all elements that are in set A or in set B but not both. Symmetric difference is also commutative, meaning A ^ B == B ^ A.
The difference (subtraction) of sets A and B (A – B) is the set of all elements that are in set A and not in set B. Subtraction is not commutative meaning A – B != B – A.
The intersection of sets A and B (A ∩ B) is the set of all elements that are contained in both A and B. Note again that the result is still a set (no duplicates). Intersection is also commutative, meaning A ∩ B == B ∩ A.