Webベース監視制御システムにおける状態同期の信頼性評価とその検証
社会人エンジニア向けの教育プログラム「トップエスイー」での講義や制作結果などからエンジニアの皆さんに対して有用な情報をお届けするコーナーです。今回も、受講生による修了制作での取り組みを紹介します。監視制御を行うWebアプリケーションに対し、Spinを用いてモデル検査を行った結果、開発環境でのテストでは検出できなかった問題点が見つかり品質向上に貢献できたという内容です。モデル検査自体は古くから行われていて、分野によっては広く使用されていますが、一般には導入コストがかかることもあって、普及しているとは言えません。しかし、さまざまな機器がネットワークでつながる今、安定したソフトウェアを作るための難度は上がる傾向にあり、適材適所でモデル検査も活用していくことが求められています。 監視制御を行うWebアプリケーションの基本構造 変電所や高速道路、気象レーダーなどの社会のインフラを担うシステムから、家
"リアルタイム Web" に関するプラクティスのアウトプット - Block Rockin’ Codes
追記 11/12/26 MLのスレッドへのリンクが間違っていたので修正。 introduction WebSocket なんかをつかって、従来のステートレスな処理以外に、コネクションを継続するステートフルな処理が可能になりました。 これを利用すると、これまで実装が難しかったリアルタイムな表現を Web に持ち込むことができます。 そして、 WebSocket を用いたプログラムを作成する上で、Node.js と Socket.IO を用いる方法について、 今年はこのブログでも何度か紹介してきました。 今日は今年一年の集大成として、自分が色々試しながら得たリアルタイム Web に関する知識、技術などを、 ここにまとめてアウトプットしたいと思います。 今回お話しするのは、 東京Node学園 3時限目 : ATND で発表した下記内容の抜粋です。 Node Academy | "About Sl
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
