Eclipse Oxygen You can breathe easier; BridgePoint is now running on Eclipse Oxygen. We skipped Neon, and it is too soon for Photon. Oxygen keeps the xtUML editor, Verifier and model compilers on a platform that is mature yet fresh. Download a nightly build.
LEGO robots are toys, fun toys. But they also are widely used in the engineering community for research and education. The platform is relatively sophisticated and quite powerful. The LEGO MindStorms EV3 programmable brick is built from a TI Sitara AM1808 (ARM926EJ-S core) running @300 MHz. There are 64MB of RAM, 16MB of onboard flash
-> Continue reading LEGO in Research
Easy Chair Conference season is coming. MODELS 2018 is in Copenhagen in October. xtUML will be represented in the EXE and MDETools workshops. Of course, xtUML Days will be Monday and Tuesday. Most conferences these days use EasyChair to submit and evaluate papers and presentations. We are a fan; it is a great system. See
-> Continue reading Easy Chair
MC-3020 has a new feature called State Save. A mechanism to capture the present state of all state machine instances is provided through the State Save feature. Once triggered, the current state of each running instance state machine is written to a buffer. Outstanding events from the event queues are also written to the buffer.
-> Continue reading State Save
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