Static

The second phase of site redesign is complete, incorporating modest changes in organization and navigation and a radical change in the deployment mechanism.  It only took about three months.

Actually…it took only about one month.  It took about two months … read more

First Berth

In a significant diversion, I’ve been boot-strapping a modification to Wikipedia’s article on the Common Berthing Mechanism, which I find woefully modest.  The formatting and editorial style of Wikipedia are rather constraining, so I’m using this site to prototype the … read more

Consolidation

Today marks a major overhaul of this site: I have consolidated all three branches (Things I Think I Know, the Extended Verification Methods, and the Exegeses) into a single framework under the Exegeses URL.  The other two sites are now … read more

Traceability

I’ve been working on another verification example, analyzing US regulatory requirements for proving (and advertising) fuel efficiency.  As usual, diversion has happened: I found myself deeply involved in a process called “requirements compilation”, so temporarily set aside the example in … read more

A model page

It will (I hope) be easier to discuss the relationship between “function” and “performance” if I can refer to some concepts about models in the System Engineering context: what they are and what general types are of interest.  In the … read more