BeagleBone Black

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

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

Chief Software Architect

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

Einstein’s Riddle Solved

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

Symmetric Difference

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.