• Skip to main content

Stefan Heinbockel

Home of a Creative Engineer

  • Free eBook
  • Transportation
  • Engineering
  • Software Development
  • Know-how
  • About
  • Contact me

Blog

Train Sidings – A TLA+ Example

8. December 2019 by stefan Leave a Comment

What is TLA+?

TLA+ is a modeling language in which one can model technical systems with discrete states. It has been used to describe many things, from the jugs problem in Die Hard 3 over a diverse array of algorithms up to Amazon Storage Services. The power of TLA+ comes from the TLC Model Checker, which checks your model for certain properties. These properties could be invariants — statements that are true of every possible state, like there are no buffer overruns. And it can check temporal properties — e.g., that an algorithm eventually finishes.

[Read more…] about Train Sidings – A TLA+ Example

Filed Under: Blog, Engineering, Software Development Tagged With: Engineering, Systems, TLA+

Creativity and Engineering

8. April 2018 by stefan Leave a Comment

Painter, Musician, Architect, Designer – these are professions that generally are considered creative. On the other hand, most people consider engineers to be methodical, neutral, concentrated – but not creative. This perception is quite wrong. Engineering is one of the most creative professions, and this article shows you why.

[Read more…] about Creativity and Engineering

Filed Under: Blog, Engineering

Energy and Information

18. March 2018 by stefan Leave a Comment

We often think of energy and information as two different things. We have an energy provider and a different information provider for our homes. But energy and information go hand in hand. There is no information without energy, and energy also comes with some information. Technical systems make use of this basic fact in many ways. This article shows examples of how the dependency of energy and information is used.

[Read more…] about Energy and Information

Filed Under: Blog, Engineering

The Holistic Engineer

11. March 2018 by stefan Leave a Comment

Universities teach engineering and software development in separate study programs. In the work place, the differences between these professions are becoming increasingly fuzzy. As the complexity of products increases, it is not sufficient to focus on just one field any more. In this article, I show that today, knowledge in just one field is not enough. We have to become Holistic Engineers.

[Read more…] about The Holistic Engineer

Filed Under: Blog, Engineering

Internet and Railroad

4. March 2018 by stefan 1 Comment

The invention of the railroad has changed the world. For the first time, both people and goods could be transported fast, long-distance and in great numbers. Almost 200 years later, the Internet started a similar revolution. Today information travels the globe with lightning speed. The first revolution was powered by steel and steam. The second revolution was driven by cables and electrons. But both of them followed similar patterns. This article analyses the similarities of both systems and what we can learn from them.

[Read more…] about Internet and Railroad

Filed Under: Blog, Transportation

An Interplanetary Transportation System

25. February 2018 by stefan Leave a Comment

Many people dream of colonizing Mars and of using ressources in space to improve life on Earth. To make these dreams come true, we both need an industry in space and an interplanetary transportation system. This article gives an outlook how such an interplanetery transporation system could look like.

[Read more…] about An Interplanetary Transportation System

Filed Under: Blog, Transportation Tagged With: Space

  • Go to page 1
  • Go to page 2
  • Go to page 3
  • Interim pages omitted …
  • Go to page 6
  • Go to Next Page »

© 2023 by Stefan Heinbockel · About